Avigail Orni

According to our database, Avigail Orni authored at least 3 papers between 2009 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

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

2009

Explaining Counterexamples Using Causality.

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

Proceedings of the Computer Aided Verification, 21st International Conference, 2009