ClusterLink: Redefining Application Connectivity for the Multi-cloud Era
- kfir Toledo
- Pravein Govindan Kannan
- et al.
- 2025
- CLOUD 2025
Publications
7 results for Ziv Nevo
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
- Raviv Gal
- Eldad Haber
- et al.
- 2021
- DATE 2021
Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- 2020
- DAC 2020
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
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