Raviv Gal

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Topics

Interesting Events

Optimization Methods

Machine Learning

Top Venues

Publications

Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods. ICML (2023)
Ulf Schlichtmann, Bing Li, Bei Yu, Raviv Gal
Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA. IEEE Des. Test 40 (1) (2023)
Raviv Gal, Eldad Haber, Brian Irwin, Marwa Mouallem, Bilal Saleh, Avi Ziv
Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure. MLCAD (2021)
Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. DATE (2021)
Marilyn Wolf, Jörg Henkel, Raviv Gal, Ulf Schlichtmann
Report on First and Second ACM/IEEE Workshop on Machine Learning for CAD (MLCAD). IEEE Des. Test 38 (2) (2021)
Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
Deep Neural Network Accelerated Implicit Filtering. CoRR (2021)
Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv
ML for CAD - Where is the Treasure Hiding? MLCAD (2020)
Raviv Gal, Eldad Haber, Avi Ziv
Using DNNs and Smart Sampling for Coverage Closure Acceleration. MLCAD (2020)
Raviv Gal, Giora Simchoni, Avi Ziv
Using Machine Learning Clustering To Find Large Coverage Holes. MLCAD (2020)
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. DAC (2020)
Raviv Gal, Alex Goldin, Wesam Ibraheem, Yehuda Naveh
Using AI for Performance Verification of High-End Processors. ICPE Companion (2019)
Raviv Gal, Eldad Haber, Brian Irwin, Bilal Saleh, Avi Ziv
How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem. CoRR (2019)
Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson
Template Aware Coverage: Taking Coverage Analysis to the Next Level. DAC (2017)
Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. Haifa Verification Conference (2015)
Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco
ArChiVED: Architectural checking via event digests for high performance validation. DATE (2014)
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. ICCAD (2013)