Verification and fault synthesis algorithm at switch-level. - M. Reza Javaheri; Reza Sedaghat; Leo Kant; Jason Zalev (Microprocess. Microsystems, 2006)