The Mechanical Verification of a Microprocessor Design (1986)

by Warren A Hunt
Venue:Proc. of the IFIP Intl. Working Conference: From HDL Descriptions to Guaranteed Correct Circuit Design