Bharath Seshadri Xiaoming Yu Srikanth Venkataraman Accelerating Diagnostic Fault Simulation Using Z-diagnosis and Concurrent Equivalence Identification. 380-385 2006 conf/vts/2006 VTS http://doi.ieeecomputersociety.org/10.1109/VTS.2006.14 db/conf/vts/vts2006.html#SeshadriYV06