Test Generation Methodology for High-Speed Floating Point Adders.

George Xenoulis Mihalis Psarakis Dimitris Gizopoulos Antonis M. Paschalis

Published in: IOLTS (2005)

Keyphrases

floating point
test generation
high speed
symbolic execution
test cases
design automation
fixed point
static analysis
instruction set
sparse matrices
floating point arithmetic
software testing
quality assurance
training set
software engineering
fine grained