Using BDDs and ZBDDs for efficient identification of testable path delay faults

Using BDDs and ZBDDs for efficient identification of testable path delay faults | IEEE Conference Publication | IEEE Xplore