Advanced automation in formal verification of processors.

zbMATH Open1190.68036MaRDI QIDQ3558657FDOQ3558657

Authors: Ulrich Kühne 

Publication date: 6 May 2010

Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-8619-4

Recommendations

• Formal modeling and verification of microprocessors
• Correct Hardware Design and Verification Methods
• Formal verification of a complex pipelined processor
• Computer Aided Verification
• Correct Hardware Design and Verification Methods

zbMATH Keywords

functional verification of digital systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Cited In (4)

• Computer Aided Verification
• Correct Hardware Design and Verification Methods
• Efficient simulation of formal processor models
• Formal modeling and verification of microprocessors

This page was built for publication: Advanced automation in formal verification of processors.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558657)