Applying formal verification to a commercial microprocessor
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mathematical Logic Flushes Out the Bugs in Chip DesignsScience, 1995
- An integration of model checking with automated proof checkingLecture Notes in Computer Science, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Ground temporal logic: A logic for hardware verificationLecture Notes in Computer Science, 1994
- FM8501: A Verified MicroprocessorLecture Notes in Computer Science, 1994
- Formal verification of a pipelined microprocessorIEEE Software, 1990
- An Advanced-Architectur CMOS/SOS MicroprocessorIEEE Micro, 1982