A probabilistic analysis of coverage methods
- Laurent Fournier
- Avi Ziv
- et al.
- 2011
- ACM TODAES
Publications
Date
Featured collections
Popular topics
14 results for Laurent Fournier
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