Detail publikace

Multi-Terminal BDDs in Microprocessor-Based Control

DVOŘÁK, V. Multi-Terminal BDDs in Microprocessor-Based Control. Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 140-145. ISBN: 978-989-8425-02-7.
Název česky
Multi-terminální rozhodovací diagramy v mikroprocesorovém řízení
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc.
Klíčová slova

Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters  

Abstrakt

Článek se zabývá softwarovou implementací algoritmů intenzivně využívajících logické funkce, když je např. u vestavěných systémů vyžadována minimální paměťová stopa. Předložená heuristická metoda syntézy Multi-Terminálních Binárních Rozhodovacích Diagramů  (MTBDD) má za cíl minimalizovat cenu výsledného diagramu a tím i velikost paměti pro jeho uložení. Vyhodnocení Booleovských funkcí se pak redukuje na průchod MTBDD, po jedné nebo více proměnných v jednom kroku, podle požadované rychlosti. Programově jde o sekvenci nepřímých přístupů do paměti rozhodovacích tabulek. Předložená metoda je flexibilní při tvorbě kompromisů mezi výkonností a paměťovou náročností a může tak být užitečná pro software vestavěných mikroprocesorů nebo mikrokontrolérů.  

Rok
2010
Strany
140–145
Sborník
Proceedings ICINCO 2010
ISBN
978-989-8425-02-7
Vydavatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Funchal, Madeira
BibTeX 
@inproceedings{BUT35524,
  author="Václav {Dvořák}",
  title="Multi-Terminal BDDs in Microprocessor-Based Control",
  booktitle="Proceedings ICINCO 2010",
  year="2010",
  pages="140--145",
  publisher="Institute for Systems and Technologies of Information, Control and Communication",
  address="Funchal, Madeira",
  isbn="978-989-8425-02-7",
  url="https://www.fit.vut.cz/research/publication/9240/"
}
Nahoru