Functional test generation for hard to detect stuck-at faults using RTL model checking.

Mahesh Prabhu, Jacob A. Abraham

Browse the full ETS paper archive.