Jeremy Casas Hannah Honghua Yang Manpreet Khaira Mandar Joshi Thomas Tetzlaff Steve W. Otto Erik Seligman Logic Verification of Very Large Circuits Using Shark. 310-317 1999 conf/vlsid/1999 VLSI Design http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745167 db/conf/vlsid/vlsid1999.html#CasasYKJTOS99