Derek L. Beatty, Randal E. Bryant
Formally Verifying a Microprocessor Using a Simulation Methodology
DAC, 1994.
@inproceedings{DAC-1994-BeattyB,
author = "Derek L. Beatty and Randal E. Bryant",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196575",
isbn = "0-7803-1836-6",
pages = "596--602",
publisher = "{ACM Press}",
title = "{Formally Verifying a Microprocessor Using a Simulation Methodology}",
year = 1994,
}