IEEE Transactions on Computers · 1991 · 16 citations · 10 references
EngineeringComputer EngineeringElectrical EngineeringAlgorithmic DesignDesign ComputationOptimizationDesign SynthesisHigh-level SynthesisLogic SynthesisArithmetic Circuit SynthesisBoolean Function DecompositionCircuit SynthesisF-functionLogic OptimizationMulti-level Logic Synthesis
Algorithms for synthesis of four-valued one- and two-variable functions for CCD (charge coupled device) implementation are proposed. One-variable synthesis is based on the observation that the cost of a realization of a function f(x) increases in the presence of breaks, or negative transitions, in the value of f as x increases. The function is decomposed to minimize the number of such transitions. Two-variable functions are synthesized as a sum of products of literals, taking advantage of literals that are easily implemented in CCD technology. It is concluded that the proposed algorithms perform better than those published previously.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
10