Advanced automation in formal verification of processors.

MaRDI QIDQ3558657zbMATH OpenFDO

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

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)

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

Cited in

(4)

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

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)