Optimum Functional Decomposition Using Encoding

In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed to the best of our knowledge is that of decomposing a function such that the resulting sub-functions are simple, i.e., have small number of cubes or literals. In this paper, we show how to solve this problem optimally. We show that the problem is intimately related to the encoding problem, which is also of fundamental importance in sequential synthesis, especially state-machine synthesis. We formulate the optimum decompositionproblem using encoding. In general, an input-output encoding formulation has to be employed. However, for eld-programmable gate array architectures that use look-up tables, the input encoding formulation suces, provided we use minimum-length codes. The last condition is really not a constraint, since each extra code bit means that an extra table has to be used (and that could be expens...

• Type: Conference
• Year: 1994
• Where: DAC
• Authors: Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
• Keywords: Computer Architecture, DAC 1994, Encoding Formulation, Functional Decomposition, Input-output Encoding Formulation