Fault Modeling and Test Generation for FPGAs.

Michael Hermann Wolfgang Hoffmann

Published in: FPL (1994)

Keyphrases

test generation
test cases
fault diagnosis
design automation
fault detection
symbolic execution
static analysis
data sets
mutation testing
decision trees
multi agent systems
quality assurance
test sequences