Detail publikačního výsledku

Multi-Terminal BDD Synthesis and Applications

MIKUŠEK, P.

Originální název

Multi-Terminal BDD Synthesis and Applications

Anglický název

Multi-Terminal BDD Synthesis and Applications

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 in some sense optimum diagram is sought. The improved algorithm of MTBDD synthesis aiming at minimum MTBDD width or cost 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).

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 in some sense optimum diagram is sought. The improved algorithm of MTBDD synthesis aiming at minimum MTBDD width or cost 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).

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.

Rok RIV

2012

Vydáno

31.08.2009

Nakladatel

IEEE Computer Society

Místo

Prague

ISBN

978-1-4244-3892-1

Kniha

Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)

Strany od

721

Strany do

722

Strany počet

2

URL

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

BibTex

@inproceedings{BUT33792,
  author="Petr {Mikušek}",
  title="Multi-Terminal BDD Synthesis and Applications",
  booktitle="Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)",
  year="2009",
  pages="721--722",
  publisher="IEEE Computer Society",
  address="Prague",
  isbn="978-1-4244-3892-1",
  url="https://www.fit.vut.cz/research/publication/8994/"
}

Dokumenty

FPL2009