( en | de | ru )

 

Disambiguation of "Gal, Raviv"

Author of the publication

copydeleteadd this publication to your clipboard
Template Aware Coverage: Taking Coverage Analysis to the Next Level.

, , , , , and . DAC, page 36:1-36:6. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raviv Herbst

Raviv Herbst

Raviv Herbst

Raviv Herbst

Gal Schkolnik

 

Other publications of authors with the same name

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process., , , , , , , , , and 2 other author(s). Haifa Verification Conference, volume 9434 of Lecture Notes in Computer Science, page 51-66. Springer, (2015)How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem., , , , and . CoRR, (2019)Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA., , , and . IEEE Des. Test, 40 (1): 5-7 (February 2023)Using DNNs and Smart Sampling for Coverage Closure Acceleration., , and . MLCAD, page 15-20. ACM, (2020)ML for CAD - Where is the Treasure Hiding?, , , , , and . MLCAD, page 137. ACM, (2020)Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem., , , , , and . DATE, page 206-211. IEEE, (2021)Template Aware Coverage: Taking Coverage Analysis to the Next Level., , , , , and . DAC, page 36:1-36:6. ACM, (2017)Using Machine Learning Clustering To Find Large Coverage Holes., , and . MLCAD, page 139-144. ACM, (2020)Deep Neural Network Accelerated Implicit Filtering., , , and . CoRR, (2021)Using AI for Performance Verification of High-End Processors., , , and . ICPE Companion, page 43-44. ACM, (2019)