Conference paper

 
Mikušek, P., Dvořák, V.: Heuristic Synthesis of MTBDDs Based On Local Width Minimization, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2009, p. 235-235, ISBN 978-80-87342-04-6
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:235-235
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:978-80-87342-04-6
Publisher:Masaryk University
Files: 
+Type Name Title Size Modified
iconmemics09.pdf42,3 KB2009-11-19 13:34:33
^ 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. 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 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 MTBDDs Based On Local Width
	Minimization},
   pages = {235--235},
   booktitle = {5th Doctoral Workshop on Mathematical and Engineering
	Methods in Computer Science},
   year = {2009},
   location = {Znojmo, CZ},
   publisher = {Masaryk University},
   ISBN = {978-80-87342-04-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9112}
}