IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 79 citations · 21 references
EngineeringComputer EngineeringComputer ScienceAlgorithmic DesignAlgorithmsFormal MethodsBoolean AlgebraBoolean Network ModelsBoolean OperationsDesign For TestabilityDigital Logic DesignLogic SynthesisBoolean Algebra In Circuit DesignBoolean ExpressionsBoolean Function DecompositionDuality TheoryLogic FactorizationMulti-level Logic DesignMulti-level Logic SynthesisMultilevel Network Models
The authors present a concurrent method for the decomposition and factorization of Boolean expressions. The method uses only two-literal single-cube divisors and double-cube divisors considered concurrently with their complements. The authors demonstrate that these objects, despite their simplicity, provide a very good framework on which to reason about common algebraic divisors and the duality relations between expressions. The simplicity of these objects makes it possible to compute the cost function associated with them accurately and dynamically. Hence, the method is entirely greedy, and in each iteration it extracts the best expression along with its complement. The decomposition is based on testability-preserving transformations, and the synthesized multilevel network is fully tested by a complete test derived for the original circuit. The algorithm has been implemented and excellent results on several benchmark circuits illustrate its efficiency and effectiveness.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
21
BOLD: The Boulder Optimal Logic Design system
Gary D. Hachtel, Michael Lightner, K. Bartlett et al. · 2003 · 127 citations