Formal Verification of Pipelined Microprocessors (2001)

by Daniel Kroening