Prabhat Mishra, Nikil D. Dutt. A Methodology for Validation of Microprocessors using Equivalence Checking. In Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA. pages 83-88, IEEE Computer Society, 2003. [doi]
@inproceedings{MishraD03,
title = {A Methodology for Validation of Microprocessors using Equivalence Checking},
author = {Prabhat Mishra and Nikil D. Dutt},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450083abs.htm},
researchr = {https://researchr.org/publication/MishraD03},
cites = {0},
citedby = {0},
pages = {83-88},
booktitle = {Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA},
publisher = {IEEE Computer Society},
}