ROBDD based path delay fault testable combinational circuit synthesis | IEEE Conference Publication | IEEE Xplore