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. In DAC. pages 43-48, 2000. [doi]

Abstract

Abstract is missing.