Miroslav N. Velev, Randal E. Bryant
Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors
DAC, 1999.
@inproceedings{DAC-1999-VelevB,
author = "Miroslav N. Velev and Randal E. Bryant",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.309967",
pages = "397--401",
publisher = "{ACM Press}",
title = "{Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors}",
year = 1999,
}