( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Template Aware Coverage: Taking Coverage Analysis to the Next Level.

, , , , , и . DAC, стр. 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.

Raviv Herbst

Raviv Herbst

Raviv Herbst

Raviv Herbst

Gal Schkolnik

 

Другие публикации лиц с тем же именем

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process., , , , , , , , , и 2 other автор(ы). Haifa Verification Conference, том 9434 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2015)How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem., , , , и . CoRR, (2019)Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA., , , и . IEEE Des. Test, 40 (1): 5-7 (февраля 2023)Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem., , , , , и . DATE, стр. 206-211. IEEE, (2021)Using DNNs and Smart Sampling for Coverage Closure Acceleration., , и . MLCAD, стр. 15-20. ACM, (2020)ML for CAD - Where is the Treasure Hiding?, , , , , и . MLCAD, стр. 137. ACM, (2020)Template Aware Coverage: Taking Coverage Analysis to the Next Level., , , , , и . DAC, стр. 36:1-36:6. ACM, (2017)Using Machine Learning Clustering To Find Large Coverage Holes., , и . MLCAD, стр. 139-144. ACM, (2020)Using AI for Performance Verification of High-End Processors., , , и . ICPE Companion, стр. 43-44. ACM, (2019)Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms., , , , , , , и . ICCAD, стр. 311-317. IEEE, (2013)