Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults.

Saravanan Padmanaban Spyros Tragoudas Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults. 50-55 2004 conf/date/2004 DATE http://csdl.computer.org/comp/proceedings/date/2004/2085/01/208510050abs.htm db/conf/date/date2004-1.html#PadmanabanT04