Result Details

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

MIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009. p. 235-235. ISBN: 978-80-87342-04-6.
Type
conference paper
Language
English
Authors
Mikušek Petr, Ing., DCSY (FIT)
Dvořák Václav, prof. Ing., DrSc., DCSY (FIT)
Abstract

Multi-terminal Binary Decision Diagrams (MTBDDs) are usefulrepresentation of multiple output Boolean functions. However,construction of such a diagram is a difficult task, especially when insome sense optimum diagram is sought. In the presentation we will presents an improvedalgorithm of MTBDD synthesis aiming at minimum MTBDD width. Thepresented algorithm is a core of the upgraded version of a synthesistool that accepts incompletely specified integer-valued functions ofBoolean variables specified by possibly compatible cubes. The suggestedtechnique is suitable for hardware (LUT cascades) or firmwareimplementation (branching microprograms).

Keywords

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

Published
2009
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
ISBN
978-80-87342-04-6
Publisher
Masaryk University
Place
Znojmo
BibTeX 
@inproceedings{BUT30908,
  author="Petr {Mikušek} and Václav {Dvořák}",
  title="Heuristic Synthesis of MTBDDs Based On Local Width Minimization",
  booktitle="5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2009",
  pages="235--235",
  publisher="Masaryk University",
  address="Znojmo",
  isbn="978-80-87342-04-6",
  url="https://www.fit.vut.cz/research/publication/9112/"
}
Files
Projects
Design and hardware implementation of a patent-invention machine, GACR, Standardní projekty, GA102/07/0850, start: 2007-01-01, end: 2009-12-31, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)
Departments
Department of Computer Systems (DCSY)
Back to top