Abstract of Alan Dunn's ACL2 seminar talk, 9/9/09:

-----

I'll be discussing Carl Pixley's 1992 paper "A theory and implementation 
of sequential hardware equivalence".

(Full reference:

C. Pixley. "A Theory and Implementation of Sequential Hardware 
Equivalence". IEEE Transactions on CAD for Integrated Circuits and 
Systems, volume 11(12), pages 1469-1478, 1992. IEEE Computer Society.)

I will describe how this paper fits into the general field of formal 
methods and other equivalence checking efforts. I will continue on to 
describe Pixley's hardware model, the concepts he develops with this model 
to capture his notion of sequential equivalence, and the algorithms he 
describes for calculating them.