Developing an architecture validation suite. Application to the PowerPC architecture
- Laurent Fournier
- Anatoly Koyfman
- et al.
- 1999
- DAC 1999
Publications
Date
Featured collections
Popular topics
4 results for Moshe Levinger
Test program generation for functional verification of PowerPC processors in IBM
- Aharon Aharon
- Dave Goodman
- et al.
- 1995
- DAC 1995
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