A proof of correctness of the VIPER microprocessor: the first levels (1987)

by A Cohn
Venue:In G Birtwistle and P A Subrahmanyam, editors, VLSI Specification, Verification and Synthesis