Narayanan Krishnamurthy Jayanta Bhadra Magdy S. Abadir Jacob A. Abraham Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs? 275-280 2002 conf/vts/2002 VTS http://csdl.computer.org/comp/proceedings/vts/2002/1570/00/15700275abs.htm db/conf/vts/vts2002.html#KrishnamurthyBAA02