Praveen Tiwari Raj S. Mitra Manu Chopra Alok Jain Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. 7 2007 conf/vlsid/2007 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.169 db/conf/vlsid/vlsid2007.html#TiwariMCJ07