Sequential circuit test generation using dynamic justification equivalence.

Xinghao Chen Michael L. Bushnell

Published in: J. Electron. Test. (1996)

Keyphrases

test generation
test cases
high speed
test sequences
database
data sets
information systems
design automation
databases
pattern matching
static analysis