Title: Report on the formal specification and partial verification of the VIPER microprocessor
Subjects: Hardware, Microprocessors, Consistency, Specifications, Computer techniques, Proving, Design analysis