Efficiently Computing Communication Complexity for Multilevel Logic Synthesis

Ting Hwang, Robert M. Owens, Mary Jane Irwin

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

In an earlier paper, we presented a method by which the communication complexity of a Boolean function could be computed. Also, we showed that finding a partition of the input variables with low communication complexity could be made part of a viable approach to logic synthesis. Unfortunately, the running time to compute the communication complexity of a given partitioning (i.e., the number of compatible classes) using this method is Ω(2”). Also, all possible partitionings were enumerated. Hence, this approach to logic synthesis is practical only for functions with a small number of inputs. In this paper, we present a new method for computing the communication complexity of a given partitioning whose running time is O(p q), where p is the number of implicants (cubes) in the minimum covering of the function and q is the number of different overlapping of those cubes. We also discuss two heuristics for finding a good partition which give encouraging results. Together, these two techniques allow a much larger class of functions to be synthesized.

Original languageEnglish (US)
Pages (from-to)545-554
Number of pages10
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume11
Issue number5
DOIs
StatePublished - Jan 1 1992

Fingerprint

Communication
Boolean functions
Logic Synthesis

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Cite this

@article{759b21b7bfb242d68bf5526f62c76d02,
title = "Efficiently Computing Communication Complexity for Multilevel Logic Synthesis",
abstract = "In an earlier paper, we presented a method by which the communication complexity of a Boolean function could be computed. Also, we showed that finding a partition of the input variables with low communication complexity could be made part of a viable approach to logic synthesis. Unfortunately, the running time to compute the communication complexity of a given partitioning (i.e., the number of compatible classes) using this method is Ω(2”). Also, all possible partitionings were enumerated. Hence, this approach to logic synthesis is practical only for functions with a small number of inputs. In this paper, we present a new method for computing the communication complexity of a given partitioning whose running time is O(p q), where p is the number of implicants (cubes) in the minimum covering of the function and q is the number of different overlapping of those cubes. We also discuss two heuristics for finding a good partition which give encouraging results. Together, these two techniques allow a much larger class of functions to be synthesized.",
author = "Ting Hwang and Owens, {Robert M.} and Irwin, {Mary Jane}",
year = "1992",
month = "1",
day = "1",
doi = "10.1109/43.127616",
language = "English (US)",
volume = "11",
pages = "545--554",
journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
issn = "0278-0070",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "5",

}

Efficiently Computing Communication Complexity for Multilevel Logic Synthesis. / Hwang, Ting; Owens, Robert M.; Irwin, Mary Jane.

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 5, 01.01.1992, p. 545-554.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Efficiently Computing Communication Complexity for Multilevel Logic Synthesis

AU - Hwang, Ting

AU - Owens, Robert M.

AU - Irwin, Mary Jane

PY - 1992/1/1

Y1 - 1992/1/1

N2 - In an earlier paper, we presented a method by which the communication complexity of a Boolean function could be computed. Also, we showed that finding a partition of the input variables with low communication complexity could be made part of a viable approach to logic synthesis. Unfortunately, the running time to compute the communication complexity of a given partitioning (i.e., the number of compatible classes) using this method is Ω(2”). Also, all possible partitionings were enumerated. Hence, this approach to logic synthesis is practical only for functions with a small number of inputs. In this paper, we present a new method for computing the communication complexity of a given partitioning whose running time is O(p q), where p is the number of implicants (cubes) in the minimum covering of the function and q is the number of different overlapping of those cubes. We also discuss two heuristics for finding a good partition which give encouraging results. Together, these two techniques allow a much larger class of functions to be synthesized.

AB - In an earlier paper, we presented a method by which the communication complexity of a Boolean function could be computed. Also, we showed that finding a partition of the input variables with low communication complexity could be made part of a viable approach to logic synthesis. Unfortunately, the running time to compute the communication complexity of a given partitioning (i.e., the number of compatible classes) using this method is Ω(2”). Also, all possible partitionings were enumerated. Hence, this approach to logic synthesis is practical only for functions with a small number of inputs. In this paper, we present a new method for computing the communication complexity of a given partitioning whose running time is O(p q), where p is the number of implicants (cubes) in the minimum covering of the function and q is the number of different overlapping of those cubes. We also discuss two heuristics for finding a good partition which give encouraging results. Together, these two techniques allow a much larger class of functions to be synthesized.

UR - http://www.scopus.com/inward/record.url?scp=0026867934&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026867934&partnerID=8YFLogxK

U2 - 10.1109/43.127616

DO - 10.1109/43.127616

M3 - Article

AN - SCOPUS:0026867934

VL - 11

SP - 545

EP - 554

JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

SN - 0278-0070

IS - 5

ER -