Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
- Raviv Gal
- Eldad Haber
- et al.
- 2021
- DATE 2021
Bio
I received both my B.A and my M.A. from the Computer Science Department, Technion, Israel, then joined IBM Research - Haifa in 2002. Since then I was involved in the R&D of various hardware verification platforms (static and dynamic). Recently, my research focuses on ensuring connectivity is properly configured for cloud-based applications, with projects such as NP-Guard and Fybrik.
Publications
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
Patents
- US
- 11321792
- US
- 10984159
- US
- 10572624
- US
- 10540469
- US
- 9286426
- US
- 8996339
- US
- 8627273
- US
- 8554522
- US
- 8417507
- US
- 8352234
Top collaborators
AI
Alexander Ivrii
Reseacher in Quantum Computing