2002 · 45 citations · 11 references
ArchitectureComputer ScienceDesign AutomationDesign OptimizationLogicBoolean AlgebraBoolean OperationsDesign SynthesisDigital Logic DesignLogic SynthesisBoolean MinimizationCombinational Logic DesignCombinational Logic SynthesisLogic MinimizationMinimization Of Boolean FunctionsMulti-level Logic DesignMulti-level Logic SynthesisUnification
The authors present various applications of Boolean unification to combinational logic synthesis. Three topics of combinational logic synthesis are discussed: redesign, multilevel logic minimization, and minimization of Boolean relations. All of these problems can be uniformly formalized as Boolean unification problems. Experimental results are also reported.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
11
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text