A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states.

In-Ho Moon Per Bjesse Carl Pixley A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. 1170-1175 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266619 db/conf/date/date2007.html#MoonBP07