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

Indradeep Ghosh, Masahiro Fujita

Browse the full DAC paper archive.