Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors (2001)

by Miroslav N. Velev
Venue:Journal of Symbolic Computation
Citations:87 - 12 self