Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492973zbMATH OpenOpenAlexFDO

Authors Nancy A. Day, Robert B. Jones, Mark D. Aagaard

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/b102264

Mathematics Subject Classification ID

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

Recommendations

• A hazards-based correctness statement for pipelined circuits
• Formal verification of a complex pipelined processor
• Mothers of pipelines
• scientific article; zbMATH DE number 1507239
• Formal verification of out-of-order execution with incremental flushing

Cited in

(3)

• Mothers of pipelines
• Correct Hardware Design and Verification Methods
• A hazards-based correctness statement for pipelined circuits

This page was built for publication: Formal Methods in Computer-Aided Design

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