Miroslav N. Velev, Randal E. Bryant
Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors
DAC, 2001.
@inproceedings{DAC-2001-VelevB,
author = "Miroslav N. Velev and Randal E. Bryant",
booktitle = "{Proceedings of the 38th Design Automation Conference}",
doi = "10.1145/378239.378469",
isbn = "1-58113-297-2",
pages = "226--231",
publisher = "{ACM}",
title = "{Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors}",
year = 2001,
}