MIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009, pp. 235235. ISBN 9788087342046. 
Publication language:  english 

Original title:  Heuristic Synthesis of MTBDDs Based On Local Width Minimization 

Title (cs):  Heuristická syntéza MTBDD založená na minimalizaci lokální šířky 

Pages:  235235 

Proceedings:  5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 

Conference:  MEMICS'09  5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 

Place:  Znojmo, CZ 

Year:  2009 

ISBN:  9788087342046 

Publisher:  Masaryk University 

Files:  


Keywords 

incompletely specified functions, multiterminal BDDs, LUT cascades,
iterative disjunctive decomposition, functional decomposition 
Annotation 

Multiterminal 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. In the presentation we will presents an improved
algorithm of MTBDD synthesis aiming at minimum MTBDD width. The
presented algorithm is a core of the upgraded version of a synthesis
tool that accepts incompletely specified integervalued 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{\v{s}}ek and V{\'{a}}clav Dvo{\v{r}}{\'{a}}k},
title = {Heuristic Synthesis of MTBDDs Based On Local Width
Minimization},
pages = {235235},
booktitle = {5th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science},
year = {2009},
location = {Znojmo, CZ},
publisher = {Masaryk University},
ISBN = {9788087342046},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso88592?id=9112}
} 