Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

Software tools for BDD optimizing by using autocorrelation functions

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Kolotov, G. ; Tel Aviv Univ., Ramat-Aviv, Israel ; Levin, I. ; Ostrovsky, V. ; Karpovsky, M.

Binary decision diagrams (BDDs), when used for representation of discrete functions, permit direct technology mapping into multi-level logic networks. The complexity of a network derived from a BDD is expressed by its number of non-terminal nodes. We discuss a class of methods for reducing the size of a BDD. We also introduce a package of software tools used in the 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 new modules or algorithms.

Published in:

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

Date of Conference:

6-7 Sept. 2004