Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
Non-cycle-accurate sequential equivalence checking
DAC, 2009.
@inproceedings{DAC-2009-ChauhanGHMS,
author = "Pankaj Chauhan and Deepak Goyal and Gagan Hasteer and Anmol Mathur and Nikhil Sharma",
booktitle = "{Proceedings of the 46th Design Automation Conference}",
doi = "10.1145/1629911.1630033",
isbn = "978-1-60558-497-3",
pages = "460--465",
publisher = "{ACM}",
title = "{Non-cycle-accurate sequential equivalence checking}",
year = 2009,
}