An Automatic Test-Generation System for Large Digital Circuits.

Shigehiro Funatsu Masato Kawai

Published in: IEEE Des. Test (1985)

Keyphrases

digital circuits
test generation
test cases
data flow
symbolic execution
test sequences
design automation
database
static analysis
finite state machines
software testing
quality assurance
data sets
decision trees
code coverage