A Practical Methodology for the Formal Verification of RISC Processors (1998)

by S Tahar, R Kumar
Venue:Formal Methods in Systems Design