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]