Detail publikace

Optimalizace firmware pro vestavěné logcké řízení

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

Originální název

Optimalizace firmware pro vestavěné logcké řízení

Český název

Optimalizace firmware pro vestavěné logcké řízení

Typ

článek v časopise - ostatní, Jost

Jazyk

cs

Originální abstrakt

Článek uvádí novou metodu reprezentace podtřídy neúplně specifikovaných funkcí s více výstupy pomocí multi-terminálních binárních rozhodovacích diagramů (MTBDDs). Je prezentován algoritmus pro redukci ceny a šířky MTBDD.  Softwarový nástroj CAD používá k získání datové struktury MTBDD iterativní dekompozici a získaná struktura může být přímo mapovaná do firmware ve formě řetězených tabulek skoků. Na praktickém příkladu je ukázáno, že existuje prostoro-časový kompromis mezi objemem paměti pro všechny tabulky  skoků v řídicí paměti a rychlostí běhu firmware.  Předpokládá se podpora vícecestného větvení v mikrořadiči. 

Český abstrakt

Článek uvádí novou metodu reprezentace podtřídy neúplně specifikovaných funkcí s více výstupy pomocí multi-terminálních binárních rozhodovacích diagramů (MTBDDs). Je prezentován algoritmus pro redukci ceny a šířky MTBDD.  Softwarový nástroj CAD používá k získání datové struktury MTBDD iterativní dekompozici a získaná struktura může být přímo mapovaná do firmware ve formě řetězených tabulek skoků. Na praktickém příkladu je ukázáno, že existuje prostoro-časový kompromis mezi objemem paměti pro všechny tabulky  skoků v řídicí paměti a rychlostí běhu firmware.  Předpokládá se podpora vícecestného větvení v mikrořadiči. 

Rok RIV

2009

Vydáno

11.10.2009

Nakladatel

NEUVEDEN

Místo

NEUVEDEN

ISBN

978-3-902661-69-2

Kniha

4th IFAC Workshop Discrete-Event System Design

Edice

NEUVEDEN

Číslo edice

NEUVEDEN

Strany od

109

Strany do

114

Strany počet

6

URL

BibTex


@article{BUT48027,
  author="Václav {Dvořák} and Petr {Mikušek}",
  title="Optimalizace firmware pro vestavěné logcké řízení",
  annote="Článek uvádí novou metodu reprezentace podtřídy neúplně specifikovaných funkcí
s více výstupy pomocí multi-terminálních binárních rozhodovacích
diagramů (MTBDDs). Je prezentován algoritmus pro redukci ceny a šířky MTBDD. 
Softwarový nástroj CAD používá k získání datové struktury MTBDD iterativní
dekompozici a získaná struktura může být přímo mapovaná do firmware ve formě
řetězených tabulek skoků. Na praktickém příkladu je ukázáno, že existuje
prostoro-časový kompromis mezi objemem paměti pro všechny tabulky  skoků v řídicí
paměti a rychlostí běhu firmware.  Předpokládá se podpora vícecestného větvení
v mikrořadiči. ",
  address="NEUVEDEN",
  booktitle="4th IFAC Workshop Discrete-Event System Design",
  chapter="48027",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  journal="Programmable devices and systems",
  number="1",
  volume="2009",
  year="2009",
  month="october",
  pages="109--114",
  publisher="NEUVEDEN",
  type="journal article - other"
}