Solving the generalized mask constraint for test generation of binary floating point add operation
- Abraham Ziv
- Laurent Fournier
- 2003
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
14 results for Laurent Fournier
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
Developing an architecture validation suite. Application to the PowerPC architecture
- Laurent Fournier
- Anatoly Koyfman
- et al.
- 1999
- DAC 1999
Constraint satisfaction for test program generation
- Daniel Lewin
- Laurent Fournier
- et al.
- 1995
- Phoenix IPCCC 1995