Verifying integrity of decision diagrams

DOI10.1016/S0167-9260(02)00042-1MaRDI QIDQ4788463zbMATH OpenWikidataFDO

Authors Rolf Drechsler

Publication date 22 January 2003

Published in Integration (Search for Journal in Brave)

zbMATH Keywords

verificationsecuritymanipulationBDDintegritysymbolicdecision diagramVLSI CAD

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Recommendations

• Decision diagrams for verification
• Validation and verification of decision making rules
• scientific article; zbMATH DE number 5585924
• Diagram-based verification of parameterized systems
• Formal verification using edge-valued binary decision diagrams
• scientific article; zbMATH DE number 2090312
• scientific article; zbMATH DE number 1670798
• Automated Deduction – CADE-20
• Validated proof-producing decision procedures
• Semantic specification and verification of data flow diagrams

Cited in

(2)

• On the error resilience of ordered binary decision diagrams
• Bddl: A Type System for Binary Decision Diagrams

This page was built for publication: Verifying integrity of decision diagrams

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