A theory and implementation of sequential hardware equivalence

Carl Pixley. A theory and implementation of sequential hardware equivalence. IEEE Trans. on CAD of Integrated Circuits and Systems, 11(12):1469-1478, 1992. [doi]

Abstract

Abstract is missing.