scientific article; zbMATH DE number 139820

MaRDI QIDQ4028156zbMATH OpenFDO

Authors Dominique Borrione, David Déharbe, Hans Eveking, Stefan Höreth

Publication date 28 March 1993

zbMATH Keywords

BDD-based proof methodshardware description languagessymbolic model-checkingsynchronous finite-state machines

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Recommendations

• A BDD-based verification method for large synthesized circuits
• Formal Methods for Hardware Verification
• Application of BDDs in Boolean matching techniques for formal logic combinational verification
• BDD-based symbolic model checking
• Model checking: a hardware design perspective

Cited in

(5)

• Application of BDDs in Boolean matching techniques for formal logic combinational verification
• HDL constructs in linear word-level decision diagram based specification
• On the automatic HDL bug identification
• A BDD-based verification method for large synthesized circuits
• scientific article; zbMATH DE number 834569 (Why is no real title available?)

This page was built for publication:

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