Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- 2020
- DAC 2020
Publications
Date
Featured collections
Popular topics
6 results for Ziv Nevo
TAB-BackSpace: Unlimited-length trace buffers with zero additional on-chip overhead
- Flavio M. De Paula
- Amir Nahir
- et al.
- 2011
- DAC 2011
Distributed dynamic BDD reordering
- Ziv Nevo
- Monica Farkash
- 2006
- DAC 2006
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
- Raviv Gal
- Eldad Haber
- et al.
- 2021
- DATE 2021
Cost-effective analysis of post-silicon functional coverage events
- Farimah Farahmandi
- Ronny Morad
- et al.
- 2017
- DATE 2017
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011