Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.

Miroslav N. Velev Randal E. Bryant Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. 73-106 2003 35 J. Symb. Comput. 2 http://dx.doi.org/10.1016/S0747-7171(02)00091-3 db/journals/jsc/jsc35.html#VelevB03