Shobha Vasudevan Vinod Viswanath Jacob A. Abraham Efficient Microprocessor Verification using Antecedent Conditioned Slicing. 43-49 2007 conf/vlsid/2007 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.70 db/conf/vlsid/vlsid2007.html#VasudevanVA07