Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors.

Miroslav N. Velev, Randal E. Bryant

Browse the full DAC paper archive.