( en | de | ru )

 

Disambiguation of "Ziv, Avi"

Author of the publication

copydeleteadd this publication to your clipboard
User Defined Coverage - A Tool Supported Methodology for Design Verification.

, , , , and . DAC, page 158-163. ACM Press, (1998)

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.

Ernst Zivier

Alexander Zivkovic

Georg Zivko

Shervin Zivari

Vasa Zivkov

 

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)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)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)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)Verification of Transactional Memory in POWER8., , , , , , , , , and 7 other author(s). DAC, page 58:1-58:6. ACM, (2014)Probabilistic regression suites for functional verification., , and . DAC, page 49-54. ACM, (2004)Threadmill: a post-silicon exerciser for multi-threaded processors., , , , , , and . DAC, page 860-865. ACM, (2011)