Automated debugging of counterexamples in formal verification of pipelined microprocessors.

Miroslav N. Velev, Ping Gao

Browse the full ASPDAC paper archive.