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
Publications
4 results for Moshe Levinger
Developing an architecture validation suite. Application to the PowerPC architecture
- Laurent Fournier
- Anatoly Koyfman
- et al.
- 1999
- DAC 1999
Test program generation for functional verification of PowerPC processors in IBM
- Aharon Aharon
- Dave Goodman
- et al.
- 1995
- DAC 1995
Constraint satisfaction for test program generation
- Daniel Lewin
- Laurent Fournier
- et al.
- 1995
- Phoenix IPCCC 1995