Conference paper

MIKUŠEK, P. and DVOŘÁK, V.. 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.
Publication language:english
Original title:Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization
Title (cs):Heuristická syntéza MTBDD založená na minimalizaci lokální šířky/ceny
Pages:605-608
Proceedings:12th EUROMICRO Conference on Digital System Design DSD 2009
Conference:12th EUROMICRO Conference on Digital System Design, DSD'2009
Place:Patras, GR
Year:2009
ISBN:978-0-7695-3782-5
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Modified
iconDSD09.pdf242 KB2009-08-06 11:08:47
^ Select all
With selected:
Keywords
incompletely specified functions, multi-terminal BDDs, LUT cascades, iterative disjunctive decomposition, functional decomposition
Annotation
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).
BibTeX:
@INPROCEEDINGS{
   author = {Petr Mikušek and Václav Dvořá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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=8993}
}

Your IPv4 address: 54.92.236.20
Switch to IPv6 connection

DNSSEC [dnssec]