Publications

14 results for Laurent Fournier

A probabilistic analysis of coverage methods
- - Laurent Fournier
  - Avi Ziv
  - et al.
- 2011
- ACM TODAES
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
A framework for the validation of processor architecture compliance
- - Allon Adir
  - Sigal Asaf
  - et al.
- 2007
- DAC 2007
Extending the model-based approach to functional verification of address translation mechanisms
- - Allon Adir
  - Laurent Fournier
  - et al.
- 2006
- HLDVT 2006
Advanced analysis techniques for cross-product coverage
- - Hezi Azatchi
  - Laurent Fournier
  - et al.
- 2006
- IEEE TC
Micro-architecture verification for microprocessors
- - Eyal Bin
  - Laurent Fournier
- 2004
- MTV 2004
Advanced analysis techniques for cross-product coverage
- - Hezi Azatchi
  - Laurent Fournier
  - et al.
- 2005
- HLDVT 2005
Genesys-Pro: Innovations in test program generation for functional processor verification
- - Allon Adir
  - Eli Almog
  - et al.
- 2004
- IEEE Design and Test of Computers
FPgen - A test generation framework for datapath floating-point verification
- - M. Aharoni
  - S. Asaf
  - et al.
- 2003
- HLDVT 2003