Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82649" target="_blank" >RIV/00216305:26230/09:PU82649 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization
Original language description
Multi-terminal Binary Decision Diagrams (MTBDDs) are useful representation of multiple output Boolean functions. However, construction of such a diagram is a difficult task, especially when in some sense optimum diagram is sought. The paper presents an improved algorithm of MTBDD synthesis aiming at minimum MTBDD width or cost. The presented algorithm is a core of the upgraded version of a synthesis tool that accepts incompletely specified integer-valued functions of Boolean variables specified by possibly compatible cubes. The suggested technique is suitable for hardware (LUT cascades) or firmware implementation (branching microprograms).
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
12th EUROMICRO Conference on Digital System Design DSD 2009
ISBN
978-0-7695-3782-5
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Patras
Event location
Patras
Event date
Aug 27, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)