Pankaj Chauhan Deepak Goyal Gagan Hasteer Anmol Mathur Nikhil Sharma Non-cycle-accurate sequential equivalence checking. 460-465 2009 DAC http://doi.acm.org/10.1145/1629911.1630033 conf/dac/2009 db/conf/dac/dac2009.html#ChauhanGHMS09