Jacob A. Abraham Daniel G. Saab Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. 6 2007 conf/vlsid/2007 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.168 db/conf/vlsid/vlsid2007.html#AbrahamS07