Detail výsledku

Multi-Terminal BDD Synthesis and Applications

MIKUŠEK, P. Multi-Terminal BDD Synthesis and Applications. Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL). Prague: IEEE Computer Society, 2009. p. 721-722. ISBN: 978-1-4244-3892-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Mikušek Petr, Ing., 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 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

Rok
2009
Strany
721–722
Sborník
Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL)
Konference
The International Conference on Field Programmable Logic and Applications
ISBN
978-1-4244-3892-1
Vydavatel
IEEE Computer Society
Místo
Prague
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/"
}
Soubory
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
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