Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence.

Carl Pixley Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. 54-64 1990 conf/cav/1990 CAV db/conf/cav/cav1990.html#Pixley90 http://dx.doi.org/10.1007/BFb0023719