Publications

52 results for Avi Ziv

Approximating checkers for simulation acceleration
- - Biruk Mammo
  - Debapriya Chatterjee
  - et al.
- 2012
- DATE 2012
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