A framework for the validation of processor architecture compliance
- Allon Adir
- Sigal Asaf
- et al.
- 2007
- DAC 2007
Publications
Date
Featured collections
Popular topics
14 results for Laurent Fournier
Developing an architecture validation suite. Application to the PowerPC architecture
- Laurent Fournier
- Anatoly Koyfman
- et al.
- 1999
- DAC 1999
Advanced analysis techniques for cross-product coverage
- Hezi Azatchi
- Laurent Fournier
- et al.
- 2006
- IEEE TC
Extending the model-based approach to functional verification of address translation mechanisms
- Allon Adir
- Laurent Fournier
- et al.
- 2006
- HLDVT 2006
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
FPgen - A test generation framework for datapath floating-point verification
- M. Aharoni
- S. Asaf
- et al.
- 2003
- HLDVT 2003
Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family
- Laurent Fournier
- Yaron Arbetman
- et al.
- 1999
- DATE 1999
Constraint satisfaction for test program generation
- Daniel Lewin
- Laurent Fournier
- et al.
- 1995
- Phoenix IPCCC 1995
A probabilistic analysis of coverage methods
- Laurent Fournier
- Avi Ziv
- et al.
- 2011
- ACM TODAES