Exact path delay fault coverage with fundamental ZBDD operations

Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas. Exact path delay fault coverage with fundamental ZBDD operations. IEEE Trans. on CAD of Integrated Circuits and Systems, 22(3):305-316, 2003. [doi]

Abstract

Abstract is missing.