Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

14 results for Laurent Fournier

A framework for the validation of processor architecture compliance
- - Allon Adir
  - Sigal Asaf
  - et al.
- 2007
- DAC 2007
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