EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition

Yung Te Lai, Massoud Pedram, Sarma Vrudhula

Research output: Contribution to journalArticle

72 Citations (Scopus)

Abstract

Edge-Valued Binary-Decision Diagrams (EVBDD's) are directed acyclic graphs that can represent and manipulate integer functions as effectively as Ordered Binary-Decision Diagrams (OBDD's) do for Boolean functions. They have been used in logic verification for showing the equivalence between Boolean functions and arithmetic functions. In this paper, we present EVBDD-based algorithms for solving integer linear programs, computing spectral coefficients of Boolean functions, and performing function decomposition. These algorithms have been implemented in C under the SIS environment and experimental results are provided.

Original languageEnglish (US)
Pages (from-to)959-975
Number of pages17
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume13
Issue number8
DOIs
StatePublished - Aug 1994
Externally publishedYes

Fingerprint

Binary decision diagrams
Boolean functions
Linear programming
Decomposition

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Hardware and Architecture
  • Electrical and Electronic Engineering

Cite this

@article{ac8b6809f36b4ab4a8739701af1b0e19,
title = "EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition",
abstract = "Edge-Valued Binary-Decision Diagrams (EVBDD's) are directed acyclic graphs that can represent and manipulate integer functions as effectively as Ordered Binary-Decision Diagrams (OBDD's) do for Boolean functions. They have been used in logic verification for showing the equivalence between Boolean functions and arithmetic functions. In this paper, we present EVBDD-based algorithms for solving integer linear programs, computing spectral coefficients of Boolean functions, and performing function decomposition. These algorithms have been implemented in C under the SIS environment and experimental results are provided.",
author = "Lai, {Yung Te} and Massoud Pedram and Sarma Vrudhula",
year = "1994",
month = "8",
doi = "10.1109/43.298033",
language = "English (US)",
volume = "13",
pages = "959--975",
journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
issn = "0278-0070",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "8",

}

TY - JOUR

T1 - EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition

AU - Lai, Yung Te

AU - Pedram, Massoud

AU - Vrudhula, Sarma

PY - 1994/8

Y1 - 1994/8

N2 - Edge-Valued Binary-Decision Diagrams (EVBDD's) are directed acyclic graphs that can represent and manipulate integer functions as effectively as Ordered Binary-Decision Diagrams (OBDD's) do for Boolean functions. They have been used in logic verification for showing the equivalence between Boolean functions and arithmetic functions. In this paper, we present EVBDD-based algorithms for solving integer linear programs, computing spectral coefficients of Boolean functions, and performing function decomposition. These algorithms have been implemented in C under the SIS environment and experimental results are provided.

AB - Edge-Valued Binary-Decision Diagrams (EVBDD's) are directed acyclic graphs that can represent and manipulate integer functions as effectively as Ordered Binary-Decision Diagrams (OBDD's) do for Boolean functions. They have been used in logic verification for showing the equivalence between Boolean functions and arithmetic functions. In this paper, we present EVBDD-based algorithms for solving integer linear programs, computing spectral coefficients of Boolean functions, and performing function decomposition. These algorithms have been implemented in C under the SIS environment and experimental results are provided.

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

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

U2 - 10.1109/43.298033

DO - 10.1109/43.298033

M3 - Article

AN - SCOPUS:0028483037

VL - 13

SP - 959

EP - 975

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 - 8

ER -