Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
- Raviv Gal
- Eldad Haber
- et al.
- DATE 2021
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.