Vishal Bhagwati, Srinivas Devadas
Automatic Verification of Pipelined Microprocessors
DAC, 1994.
@inproceedings{DAC-1994-BhagwatiD,
author = "Vishal Bhagwati and Srinivas Devadas",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196577",
isbn = "0-7803-1836-6",
pages = "603--608",
publisher = "{ACM Press}",
title = "{Automatic Verification of Pipelined Microprocessors}",
year = 1994,
}