Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.

Per Bjesse, Tim Leonard, Abdel Mokkedem

Browse the full CAV paper archive.