Detail publikačního výsledku

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

MIKUŠEK, P.; DVOŘÁK, V.

Originální název

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

Anglický název

Heuristic Synthesis of MTBDDs Based On Local Width Minimization

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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).

Anglický 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

Klíčová slova v angličtině

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

Autoři

MIKUŠEK, P.; DVOŘÁK, V.

Rok RIV

2010

Vydáno

13.11.2009

Nakladatel

Masaryk University

Místo

Znojmo

ISBN

978-80-87342-04-6

Kniha

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

Strany od

235

Strany do

235

Strany počet

1

URL

https://www.fit.vut.cz/research/publication/9112/

Plný text v Digitální knihovně

http://hdl.handle.net/

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/"
}

Dokumenty

memics09