Two-level logic minimization: an overview

DOI10.1016/0167-9260(94)00007-7MaRDI QIDQ4325354zbMATH OpenOpenAlexFDO

Authors Olivier Coudert

Publication date 20 August 1995

Published in Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-9260(94)00007-7

zbMATH Keywords

binary decision diagramcombinational setlogic minimizationpropositional formulaset covering problemtwo-level logic minimization

Mathematics Subject Classification ID

Classical propositional logic (03B05) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 910866
• scientific article; zbMATH DE number 3902554
• scientific article; zbMATH DE number 4133829
• SAT-Based Formula Simplification
• Synthesis of multilevel Boolean networks

Cited in

(29)

• A method for minimization design of two-level-logic networks using multiplexer universal logic modules
• Efficient implementation of regular languages using reversed alternating finite automata
• Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997
• The minimum equivalent DNF problem and shortest implicants
• Resolution cannot polynomially simulate compressed-BFS
• Ordered binary decision diagrams and the Shannon effect
• Logic minimization techniques with applications to cryptology
• McColl and minimization
• scientific article; zbMATH DE number 4133829 (Why is no real title available?)
• Synthesis of multilevel Boolean networks
• A purely map procedure for two-level multiple-output logic minimization
• SAT-Based Formula Simplification
• Matching Integer Intervals by Minimal Sets of Binary Words with don’t cares
• The Complexity of SPP Formula Minimization
• Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 3932951 (Why is no real title available?)
• Derivation of Minimal Sums for Completely Specified Functions
• scientific article; zbMATH DE number 3693167 (Why is no real title available?)
• scientific article; zbMATH DE number 1045476 (Why is no real title available?)
• scientific article; zbMATH DE number 1962894 (Why is no real title available?)
• Two-Level Multiple-Output Logic Minimization Using A Single Function
• Algorithms for computing minimal equivalent subformulas
• scientific article; zbMATH DE number 910866 (Why is no real title available?)
• Signal Transition Graphs for Asynchronous Data Path Circuits
• The ghosts of forgotten things: a study on size after forgetting
• Common equivalence and size of forgetting from Horn formulae
• Representing states in iterated belief revision
• Synthesis of autosymmetric functions in a new three-level form

This page was built for publication: Two-level logic minimization: an overview

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