Automatic test pattern generation for functional RTL circuits using assignment decision diagrams.

Indradeep Ghosh Masahiro Fujita

Published in: DAC (2000)

Keyphrases

decision diagrams
digital circuits
multi valued
search algorithm
relational databases
multi dimensional
multiple valued