Formal Verification of Pipelined Microprocessors (Draft (2001)

by D Kroening