( en | de | ru )

 

Disambiguation of "Ziv, Avi"

Author of the publication

copydeleteadd this publication to your clipboard
Panel: What's the next 'big thing' in simulation-based verification?

, , , , , , and . HLDVT, page 175. IEEE Computer Society, (2003)

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

Georg Zivko

Alexander Zivkovic

Shervin Zivari

Vasa Zivkov

 

Other publications of authors with the same name

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)Deep Neural Network Accelerated Implicit Filtering., , , and . CoRR, (2021)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)Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor., , , , , and . DAC, page 569-574. ACM, (2011)Checking architectural outputs instruction-by-instruction on acceleration platforms., , , , and . DAC, page 955-961. ACM, (2012)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)Generating instruction streams using abstract CSP., , and . DATE, page 15-20. IEEE, (2012)