Abstract :
Abstract—A computer-oriented algorithm for synthesizing combinational logic circuits from a collection of functionally packaged circuits is developed. The algorithm uses a hierarchy of "goals" in an iterative decision process in a manner similar to that employed by theorem proving and gamne playing programs. With each iteration a set of "tasks" finds the circuit package which satisfies the highest level goal while meeting circuit constraints.
Keywords :
Index terms—Circuit constraints, combinational logic synthesis, decomposition, design algorithm, design goals, logic design automation, module library.; Algorithm design and analysis; Circuit synthesis; Combinational circuits; Costs; Digital systems; Iterative algorithms; Logic circuits; Logic design; Logic functions; Packaging; Index terms—Circuit constraints, combinational logic synthesis, decomposition, design algorithm, design goals, logic design automation, module library.;
