TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. - Flavio M. de Paula; Amir Nahir; Ziv Nevo; Avigail Orni; Alan J. Hu (DAC, 2011)

Explaining counterexamples using causality. - Ilan Beer; Shoham Ben-David; Hana Chockler; Avigail Orni; Richard J. Trefler (Formal Methods Syst. Des., 2012)

Designer-level verification: an industrial experience story. - Stephen Bergman; Gabor Bobok; Walter Kowalski; Shlomit Koyfman; Shiri Moran; Ziv Nevo; Avigail Orni; Viresh Paruthi; Wolfgang Roesner; Gil Shurek; Vasantha Vuyyuru (DATE, 2015)