Raviv Gal

According to our database, Raviv Gal authored at least 16 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA.

Ulf Schlichtmann, Bing Li, Bei Yu, Raviv Gal

IEEE Des. Test, February, 2023

Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods.

Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv

Proceedings of the International Conference on Machine Learning, 2023

2021

Report on First and Second ACM/IEEE Workshop on Machine Learning for CAD (MLCAD).

Marilyn Wolf, Jörg Henkel, Raviv Gal, Ulf Schlichtmann

IEEE Des. Test, 2021

Deep Neural Network Accelerated Implicit Filtering.

Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv

CoRR, 2021

Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure.

Raviv Gal, Eldad Haber, Brian Irwin, Marwa Mouallem, Bilal Saleh, Avi Ziv

Proceedings of the 3rd ACM/IEEE Workshop on Machine Learning for CAD, 2021

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.

Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Using Machine Learning Clustering To Find Large Coverage Holes.

Raviv Gal, Giora Simchoni, Avi Ziv

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

ML for CAD - Where is the Treasure Hiding?

Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

Using DNNs and Smart Sampling for Coverage Closure Acceleration.

Raviv Gal, Eldad Haber, Avi Ziv

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.

Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem.

Raviv Gal, Eldad Haber, Brian Irwin, Bilal Saleh, Avi Ziv

CoRR, 2019

Using AI for Performance Verification of High-End Processors.

Raviv Gal, Alex Goldin, Wesam Ibraheem, Yehuda Naveh

Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

2017

Template Aware Coverage: Taking Coverage Analysis to the Next Level.

Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson

Proceedings of the 54th Annual Design Automation Conference, 2017

2015

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

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

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

ArChiVED: Architectural checking via event digests for high performance validation.

Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.

Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013