Theory of safe replacements for sequential circuits

Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton. Theory of safe replacements for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(2):249-265, 2001. [doi]

Abstract

Abstract is missing.