Software tools for BDD optimizing by using autocorrelation functions

G. Kolotov; I. Levin; V. Ostrovsky; M. Karpovsky

Software tools for BDD optimizing by using autocorrelation functions

G. Kolotov^*, I. Levin, V. Ostrovsky, M. Karpovsky

^*Corresponding author for this work

School of Education

Research output: Contribution to conference › Paper › peer-review

Abstract

Binaiy Decision Diagrams (BDDs), when used for representation of discrete functions, permit direct technology mapping into multi-level logic networks. Complexity of a network derived from a BDD is expressed by its number of non-terminal nodes. In this paper we discuss a class of methods for reducing the size of a BDD. We also introduce a package of software tools used in representation and analysis of Boolean functions with BDDs. The software is designed with two goals in mind: human engineering and efficiency of calculations. It is easy to use, comprehensive and easily extended to the new modules or algorithms.

Original language	English
Pages	129-132
Number of pages	4
State	Published - 2004
Event	2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel, Proceedings - Tel-Aviv, Israel Duration: 6 Sep 2004 → 7 Sep 2004

Conference

Conference	2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel, Proceedings
Country/Territory	Israel
City	Tel-Aviv
Period	6/09/04 → 7/09/04

Cite this

@conference{4e386ed377c54823a4a2ddebbbfe12bf,

title = "Software tools for BDD optimizing by using autocorrelation functions",

abstract = "Binaiy Decision Diagrams (BDDs), when used for representation of discrete functions, permit direct technology mapping into multi-level logic networks. Complexity of a network derived from a BDD is expressed by its number of non-terminal nodes. In this paper we discuss a class of methods for reducing the size of a BDD. We also introduce a package of software tools used in representation and analysis of Boolean functions with BDDs. The software is designed with two goals in mind: human engineering and efficiency of calculations. It is easy to use, comprehensive and easily extended to the new modules or algorithms.",

author = "G. Kolotov and I. Levin and V. Ostrovsky and M. Karpovsky",

year = "2004",

language = "אנגלית",

pages = "129--132",

note = "2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel, Proceedings ; Conference date: 06-09-2004 Through 07-09-2004",

}

TY - CONF

T1 - Software tools for BDD optimizing by using autocorrelation functions

AU - Kolotov, G.

AU - Levin, I.

AU - Ostrovsky, V.

AU - Karpovsky, M.

PY - 2004

Y1 - 2004

N2 - Binaiy Decision Diagrams (BDDs), when used for representation of discrete functions, permit direct technology mapping into multi-level logic networks. Complexity of a network derived from a BDD is expressed by its number of non-terminal nodes. In this paper we discuss a class of methods for reducing the size of a BDD. We also introduce a package of software tools used in representation and analysis of Boolean functions with BDDs. The software is designed with two goals in mind: human engineering and efficiency of calculations. It is easy to use, comprehensive and easily extended to the new modules or algorithms.

AB - Binaiy Decision Diagrams (BDDs), when used for representation of discrete functions, permit direct technology mapping into multi-level logic networks. Complexity of a network derived from a BDD is expressed by its number of non-terminal nodes. In this paper we discuss a class of methods for reducing the size of a BDD. We also introduce a package of software tools used in representation and analysis of Boolean functions with BDDs. The software is designed with two goals in mind: human engineering and efficiency of calculations. It is easy to use, comprehensive and easily extended to the new modules or algorithms.

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

M3 - ???researchoutput.researchoutputtypes.contributiontoconference.paper???

AN - SCOPUS:17444418331

SP - 129

EP - 132

T2 - 2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel, Proceedings

Y2 - 6 September 2004 through 7 September 2004

ER -

Software tools for BDD optimizing by using autocorrelation functions

Abstract

Conference

Other files and links

Fingerprint

Cite this