Input Variable Partitioning Method for Functional Decomposition of Functions Specified by Large Truth Tables

Selvi, R. Muthu; Rajaram, R.

doi:10.1109/iccima.2007.349

Cited by 3 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is important to find a successful solution for this problem, because it has a direct influence on the quality and cost of digital devices at the design process. It has been shown in [8,18] that a considerable number of papers have been already published on this topic and it is still interesting for the research [21,16,28,6,14,23,19]. The motivation is reducing the complexity of the problem by divide and conquer approach to find an appropriate set of sub-circuits.…”

Section: Introductionmentioning

confidence: 99%

“…Decomposition breaks a function block into smaller function blocks. It is performed in such a way that the original system behavior is perceived, and each of the decomposed subsystems is simpler than the original system to analyze, realize and synthesize [14]. It is important to find a successful solution for this problem, because it has a direct influence on the quality and cost of digital devices at the design process.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method

Afshord

Pottosin

Arasteh

2015

Discrete Applied Mathematics

View full text Add to dashboard Cite

a b s t r a c tFunctional decomposition is a fundamental method for the optimization of multi-level logic circuits by breaking down a complex circuit into smaller and hopefully simpler subcircuits. The problem of searching for an appropriate partition of input variables is the first step in the decomposition process, and it is a challenging task in the logic synthesis. The serial, two-block disjoint decomposition of a system of completely specified Boolean functions is investigated. An input variable partitioning algorithm is proposed, which is used for functional decomposition along with a tabular method. It is based on using the ternary matrix cover approach. A method for constructing the cover map that has the structure of the Karnaugh map is also presented. It is used in a step of the tabular method during the decomposition. There is a chance in a decomposable system, to choose such a solution of the task to reduce the circuit size exponentially. The paper emphasizes on obtaining the best possible partition in an efficient manner. A set of experiments has been carried out on the generated systems of Boolean functions and standard benchmarks. The results confirm the efficiency and effectiveness of the suggested algorithm along with the ternary matrix cover approach. The obtained solutions are optimal in the most cases, according to a certain criterion.

show abstract