Veljko M. Milutinovic
-
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design