Building circuits from relations

DOI10.1007/10722167_12MaRDI QIDQ2754078zbMATH OpenFDO

Authors James H. Kukula, Thomas R. Shiple

Publication date 11 November 2001

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

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

Mathematics Subject Classification ID

Recommendations

• Simplifying circuits for formal verification using parametric representation
• Logical relations in circuit verification
• On the relation between BDDs and FDDs
• On the relation between BDDs and FDDs (extended abstract)
• Analysis of cyclic combinational circuits

Cited in

(8)

• Towards Parallel Boolean Functional Synthesis
• Synthesis of Reactive(1) designs
• On circuits and numbers
• Simplifying circuits for formal verification using parametric representation
• Symbolic bounded synthesis
• On digital circuit optimization using automata equations
• Functional synthesis via input-output separation
• ZDD Boolean synthesis

This page was built for publication: Building circuits from relations

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