Approximating checkers for simulation acceleration
- Biruk Mammo
- Debapriya Chatterjee
- et al.
- 2012
- DATE 2012
Publications
Date
Featured collections
Popular topics
52 results for Avi Ziv
A probabilistic analysis of coverage methods
- Laurent Fournier
- Avi Ziv
- et al.
- 2011
- ACM TODAES
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
Learning microarchitectural behaviors to improve stimuli generation quality
- Yoav Katz
- Michal Rimon
- et al.
- 2011
- DAC 2011
A unified methodology for pre-silicon verification and post-silicon validation
- Allon Adir
- Shady Copty
- et al.
- 2011
- DATE 2011
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
- Klaus-Dieter Schubert
- Wolfgang Roesner
- et al.
- 2011
- IBM J. Res. Dev
Bridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010
Automatic boosting of cross-product coverage using Bayesian networks
- Dorit Baras
- Shai Fine
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Using Bayesian networks and virtual coverage to hit hard-to-reach events
- Shai Fine
- Laurent Fournier
- et al.
- 2009
- International Journal on Software Tools for Technology Transfer