Correct Hardware Design and Verification Methods

DOI10.1007/11560548MaRDI QIDQ5493209zbMATH OpenOpenAlexFDO

Authors Masaharu Imai, Akira Kitajima

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11560548

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated Technology for Verification and Analysis
• Design and verification of microprocessor systems for high-assurance applications
• Publication:3030255
• Special issue: Microprocessor verification

This page was built for publication: Correct Hardware Design and Verification Methods

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