Formal modeling and verification of microprocessors

• 1 January 1995
• journal article
• Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
• Vol. 44  (1) , 54-72
• https://doi.org/10.1109/12.368009

Abstract

Keywords

• METHODOLOGY
• MICROPROCESSOR VERIFICATION
• ABSTRACT THEORIES
• TEACH
• FORMALISM
• COMPLETING THE VERIFICATION
• FORMAL MODELING