Publications

2 results for Avigail Orni

Explaining counterexamples using causality
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 2011
- Formal Methods in System Design
TAB-BackSpace: Unlimited-length trace buffers with zero additional on-chip overhead
- - Flavio M. De Paula
  - Amir Nahir
  - et al.
- 2011
- DAC 2011