BDD-based decompositions of multiple output logic functions

zbMATH Open1203.94146MaRDI QIDQ620066

A. Dzikowski, Edward Hrynkiewicz

Publication date: 19 January 2011

Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)

Full work available at URL: http://bulletin.pan.pl/(54-4)489.html

zbMATH Keywords

decompositionbinary decision diagramsFPGA

Mathematics Subject Classification ID

Circuits, networks (94C99)

Related Items (1)

Bi-decomposition of function sets in multiple-valued logic for circuit design and data mining

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Decomposition of systems of Boolean functions determined by binary decision diagrams 👍 👎
• Logic-based Benders decomposition 👍 👎
• Application of BDDs in Boolean matching techniques for formal logic combinational verification 👍 👎
• Bi-decomposition of multi-valued logical functions and its applications 👍 👎
• A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation 👍 👎
• BDD-Based Boolean Functional Synthesis 👍 👎

This page was built for publication: BDD-based decompositions of multiple output logic functions

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