Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Mikušek Petr, Ing., FIT (FIT), UPSY (FIT)
Dvořák Václav, prof. Ing., DrSc., UPSY (FIT)
Abstrakt

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

Klíčová slova

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

Rok
2009
Strany
235–235
Sborník
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-87342-04-6
Vydavatel
Masaryk University
Místo
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/"
}
Soubory
Projekty
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Návrh a obvodová realizace zařízení pro automatické generování patentovatelných invencí, GAČR, Standardní projekty, GA102/07/0850, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru