Daher Kaiss Silvian Goldenberg Zurab Khasidashvili Seqver : A Sequential Equivalence Verifier for Hardware Designs . 2006 conf/iccd/2006 ICCD http://www.iccd-conference.org/proceedings/2006/SpecialHWEquivII.pdf db/conf/iccd/iccd2006.html#KaissGK06