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

Indradeep Ghosh Masahiro Fujita Automatic test pattern generation for functional RTL circuits using assignment decision diagrams. 43-48 2000 DAC http://doi.acm.org/10.1145/337292.337309 db/conf/dac/dac2000.html#GhoshF00