Jeremy R. Levitt, Kunle Olukotun
A Scalable Formal Verification Methodology for Pipelined Microprocessors
DAC, 1996.
@inproceedings{DAC-1996-LevittO,
author = "Jeremy R. Levitt and Kunle Olukotun",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240624",
isbn = "0-89791-779-0",
pages = "558--563",
publisher = "{ACM Press}",
title = "{A Scalable Formal Verification Methodology for Pipelined Microprocessors}",
year = 1996,
}