Raviv Gal

22 papers A* 3A 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls.
CoRR
Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky
2025 J jnl
LaajMeter: A Framework for LaaJ Evaluation.
CoRR
Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Avi Ziv
2025 J jnl
Quality Evaluation of COBOL to Java Code Transformation.
CoRR
Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Avi Ziv
2025 — conf
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes.
ASEW
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2025 J jnl
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes.
CoRR
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2023 J jnl
Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA.
IEEE Des. Test
Ulf Schlichtmann, Bing Li, Bei Yu, Raviv Gal
2023 A* conf
Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods.
ICML
Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
2021 A conf
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.
DATE
Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv
2021 J jnl
Deep Neural Network Accelerated Implicit Filtering.
CoRR
Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
2021 J jnl
Report on First and Second ACM/IEEE Workshop on Machine Learning for CAD (MLCAD).
IEEE Des. Test
Marilyn Wolf, Jörg Henkel, Raviv Gal, Ulf Schlichtmann
2021 — conf
Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure.
MLCAD
Raviv Gal, Eldad Haber, Brian Irwin, Marwa Mouallem, Bilal Saleh, Avi Ziv
2020 A* conf
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.
DAC
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
2020 — conf
ML for CAD - Where is the Treasure Hiding?
MLCAD
Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv
2020 — ed.
MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, Virtual Event, Iceland, November 16-20, 2020
MLCAD
Ulf Schlichtmann, Raviv Gal, Hussam Amrouch, Hai (Helen) Li
2020 — conf
Using DNNs and Smart Sampling for Coverage Closure Acceleration.
MLCAD
Raviv Gal, Eldad Haber, Avi Ziv
2020 — conf
Using Machine Learning Clustering To Find Large Coverage Holes.
MLCAD
Raviv Gal, Giora Simchoni, Avi Ziv
2019 J jnl
How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem.
CoRR
Raviv Gal, Eldad Haber, Brian Irwin, Bilal Saleh, Avi Ziv
2019 — conf
Using AI for Performance Verification of High-End Processors.
ICPE Companion
Raviv Gal, Alex Goldin, Wesam Ibraheem, Yehuda Naveh
2017 A* conf
Template Aware Coverage: Taking Coverage Analysis to the Next Level.
DAC
Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson
2015 — conf
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
Haifa Verification Conference
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
2014 A conf
ArChiVED: Architectural checking via event digests for high performance validation.
DATE
Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco
2013 A conf
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.
ICCAD
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco