Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification
- Doowon Leey
- Tom Kolan
- et al.
- 2016
- DAC 2016
Publications
Date
Featured collections
Popular topics
51 results for Avi Ziv
User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data
- Yossi Malka
- Avi Ziv
- 1998
- DAC 1998
Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods
- Eldad Haber
- Brian Irwin
- et al.
- 2023
- ICML 2023
Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- 2020
- DAC 2020
Template Aware Coverage: Taking Coverage Analysis to the Next Level
- Raviv Gal
- Einat Kermany
- et al.
- 2017
- DAC 2017
Verification of transactional memory in POWER8
- Allon Adir
- Dave Goodman
- et al.
- 2014
- DAC 2014
Checking architectural outputs instruction-by-instruction on acceleration platforms
- Debapriya Chatterjee
- Anatoly Koyfman
- et al.
- 2012
- DAC 2012
Threadmill: A post-silicon exerciser for multi-threaded processors
- Allon Adir
- Maxim Golubev
- et al.
- 2011
- DAC 2011
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
- Allon Adir
- Amir Nahir
- et al.
- 2011
- DAC 2011