Restructuring logic representations with simple disjunctive decompositions

Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya

Research output: Contribution to journalArticlepeer-review


Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced variable. It offers an optimal structure for a singleoutput function. This paper presents two techniques that enable us to apply simple disjunctive decompositions with little overhead. Firstly, we propose a method to find simple disjunctive decomposition forms efficiently by limiting decomposition types to be found to two: a decomposition where the bound set is a set of symmetric variables and a decomposition where the output function is a 2-input function. Secondly, we propose an algorithm that constructs a new logic representation for a simple disjunctive decomposition just by assigning constant values to variables in the original representation. The algorithm enables us to apply the decomposition with keeping good structures of the original representation. We performed experiments for decomposing functions and confirmed the efficiency of our method. We also performed experiments for restructuring fanout free cones of multi-level logic circuits, and obtained better results than when not restructuring them.

Original languageEnglish
Pages (from-to)2538-2544
Number of pages7
JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Issue number12
Publication statusPublished - 1998
Externally publishedYes


  • Multi-level logic circuit
  • Ordered binary decision diagram
  • Simple disjunctive decomposition
  • Symmetric variables

ASJC Scopus subject areas

  • Signal Processing
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering
  • Applied Mathematics


Dive into the research topics of 'Restructuring logic representations with simple disjunctive decompositions'. Together they form a unique fingerprint.

Cite this