( 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

Analysis of Checkpointing Schemes for Multiprocessor Systems., and . SRDS, page 52-61. IEEE Computer Society, (1994)Template Aware Coverage: Taking Coverage Analysis to the Next Level., , , , , and . DAC, page 36:1-36:6. ACM, (2017)Stimuli Generation with Late Binding of Values.. DATE, page 558-563. IEEE Computer Society, (2004)Placement and Routing for a Field Programmable Multi-Chip Module., , and . DAC, page 295-300. ACM Press, (1994)Using Machine Learning Clustering To Find Large Coverage Holes., , and . MLCAD, page 139-144. ACM, (2020)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)Defining coverage views to improve functional coverage analysis., , and . DAC, page 41-44. ACM, (2004)Solving the generalized mask constraint for test generation of binary floating point add operation., and . Theor. Comput. Sci., 291 (2): 183-201 (2003)Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification., , , , , , and . DAC, page 24:1-24:6. ACM, (2016)Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial).. FMCAD, page 1. IEEE, (2019)