Publication Details

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

MIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, pp. 605-608. ISBN 978-0-7695-3782-5.
Czech title
Heuristická syntéza MTBDD založená na minimalizaci lokální šířky/ceny
Type
conference paper
Language
english
Authors
Keywords

incompletely specified functions, multi-terminal BDDs, LUT cascades, iterative disjunctive decomposition, functional decomposition

Abstract

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).

Published
2009
Pages
605-608
Proceedings
12th EUROMICRO Conference on Digital System Design DSD 2009
Conference
12th EUROMICRO Conference on Digital System Design, DSD'2009, Patras, GR
ISBN
978-0-7695-3782-5
Publisher
IEEE Computer Society
Place
Patras, GR
BibTeX
@INPROCEEDINGS{FITPUB8993,
   author = "Petr Miku\v{s}ek and V\'{a}clav Dvo\v{r}\'{a}k",
   title = "Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization",
   pages = "605--608",
   booktitle = "12th EUROMICRO Conference on Digital System Design DSD 2009",
   year = 2009,
   location = "Patras, GR",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3782-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8993"
}
Files
Back to top