Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?

Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham. Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?. In 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It s a Gamble, 28 April - 2 May 2002, Monterey, CA, USA. pages 275-280, IEEE Computer Society, 2002. [doi]

@inproceedings{KrishnamurthyBAA02,
  title = {Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?},
  author = {Narayanan Krishnamurthy and Jayanta Bhadra and Magdy S. Abadir and Jacob A. Abraham},
  year = {2002},
  url = {http://csdl.computer.org/comp/proceedings/vts/2002/1570/00/15700275abs.htm},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/KrishnamurthyBAA02},
  cites = {0},
  citedby = {0},
  pages = {275-280},
  booktitle = {20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It s a Gamble, 28 April -  2 May 2002, Monterey, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1570-3},
}