Transformation-based verification using generalized retiming

DOI10.1007/3-540-44585-4_10MaRDI QIDQ4551138zbMATH OpenFDO

Authors Andreas Kuehlmann, Jason Baumgartner

Publication date 4 September 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020104

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Retiming: Theory and practice
• Retiming synchronous circuitry
• An abstraction algorithm for the verification of generalized C-slow designs
• Correct Hardware Design and Verification Methods

Cited in

(5)

• Context-moving transformations for function verification
• Formal verification of translation validators
• Correct Hardware Design and Verification Methods
• Tools and Algorithms for the Construction and Analysis of Systems
• Progress in certifying hardware model checking results

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Transformation-based verification using generalized retiming

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