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 (ICCAD, 2013)

ArChiVED: Architectural checking via event digests for high performance validation. - Chang-Hong Hsu; Debapriya Chatterjee; Ronny Morad; Raviv Gal; Valeria Bertacco (DATE, 2014)

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 (Haifa Verification Conference, 2015)

Template Aware Coverage: Taking Coverage Analysis to the Next Level. - Raviv Gal; Einat Kermany; Bilal Saleh; Avi Ziv; Michael L. Behm; Bryan G. Hickerson (DAC, 2017)

Using AI for Performance Verification of High-End Processors. - Raviv Gal; Alex Goldin; Wesam Ibraheem; Yehuda Naveh (ICPE Companion, 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)

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. - Raviv Gal; Haim Kermany; Alexander Ivrii; Ziv Nevo; Avi Ziv (DAC, 2020)

Using DNNs and Smart Sampling for Coverage Closure Acceleration. - Raviv Gal; Eldad Haber; Avi Ziv (MLCAD, 2020)

ML for CAD - Where is the Treasure Hiding? - Raviv Gal; David Z. Pan; Haoxing Ren; Manish Pandey; Marilyn Wolf; Avi Ziv (MLCAD, 2020)

Using Machine Learning Clustering To Find Large Coverage Holes. - Raviv Gal; Giora Simchoni; Avi Ziv (MLCAD, 2020)

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. - Raviv Gal; Eldad Haber; Wesam Ibraheem; Brian Irwin; Ziv Nevo; Avi Ziv (DATE, 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 (MLCAD, 2021)

Deep Neural Network Accelerated Implicit Filtering. - Brian Irwin; Eldad Haber; Raviv Gal; Avi Ziv (CoRR, 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)

Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods. - Brian Irwin; Eldad Haber; Raviv Gal; Avi Ziv (ICML, 2023)

Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA. - Ulf Schlichtmann; Bing Li 005; Bei Yu 001; Raviv Gal (IEEE Des. Test, 2023)

Quality Evaluation of COBOL to Java Code Transformation. - Shmulik Froimovich; Raviv Gal; Wesam Ibraheem; Avi Ziv (CoRR, 2025)

LaajMeter: A Framework for LaaJ Evaluation. - Gal Amram; Eitan Farchi; Shmulik Froimovich; Raviv Gal; Avi Ziv (CoRR, 2025)