( en | de | ru )

 

Disambiguation of "Ziv, Avi"

Author of the publication

copydeleteadd this publication to your clipboard
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.

, , , , , , , , , , , and . Haifa Verification Conference, volume 9434 of Lecture Notes in Computer Science, page 51-66. Springer, (2015)

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.

Georg Zivko

Ernst Zivier

Alexander Zivkovic

Vasa Zivkov

Milan Zivkovic

 

Other publications of authors with the same name

Placement and Routing for a Field Programmable Multi-Chip Module., , and . DAC, page 295-300. ACM Press, (1994)Defining coverage views to improve functional coverage analysis., , and . DAC, page 41-44. ACM, (2004)Template Aware Coverage: Taking Coverage Analysis to the Next Level., , , , , and . DAC, page 36:1-36:6. ACM, (2017)Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation., , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 16-33. Springer, (2006)Analysis of Checkpointing Schemes for Multiprocessor Systems., and . SRDS, page 52-61. IEEE Computer Society, (1994)Stimuli Generation with Late Binding of Values.. DATE, page 558-563. IEEE Computer Society, (2004)Using Machine Learning Clustering To Find Large Coverage Holes., , and . MLCAD, page 139-144. ACM, (2020)Optimizing test-generation to the execution platform., , and . ASP-DAC, page 304-309. IEEE, (2012)Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms., , , , , , , and . ICCAD, page 311-317. IEEE, (2013)Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods., , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 14376-14389. PMLR, (2023)