Avigail Orni

According to our database, Avigail Orni authored at least 3 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2012

Explaining counterexamples using causality.

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler

Formal Methods Syst. Des., 2012

2011

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

Proceedings of the 48th Design Automation Conference, 2011