Result Details

Firmware Optimization for Embedded Logic Control

DVOŘÁK, V.; MIKUŠEK, P. Firmware Optimization for Embedded Logic Control. Programmable devices and systems, 2009, roč. 2009, č. 1, s. 109-114. ISSN: 1474-6670.
English title
Firmware Optimzation for Embedded Logic Control
Type
journal article
Language
Czech
Authors
Dvořák Václav, prof. Ing., DrSc., DCSY (FIT)
Mikušek Petr, Ing., DIFS (FIT), DCSY (FIT)
Abstract

Č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. 

English abstract

This paper presents a new method to represent a subclass of multiple-output incompletely specified functions by means of multi-terminal binary decision diagrams (MTBDDs). Algorithm to reduce the cost and width of MTBDDs is presented. A software CAD tool makes use of iterative decomposition to obtain a MTBDD data structure that can be directly mapped to firmware in a form of chained dispatch tables. On a practical example it is shown that there is a space-time trade-off between the amount of memory required for all dispatch tables in a control store and the speed of firmware execution. Support for multi-way branching in a micro-sequencer is assumed.

English keywords

Incompletely specified functions, multi-terminal BDDs, iterative disjunctive decomposition, firmware design, multi-way branching

Published
2009
Pages
109–114
Journal
Programmable devices and systems, vol. 2009, no. 1, ISSN 1474-6670
Book
4th IFAC Workshop Discrete-Event System Design
ISBN
978-3-902661-69-2
BibTeX 
@article{BUT48027,
  author="Václav {Dvořák} and Petr {Mikušek}",
  title="Firmware Optimization for Embedded Logic Control",
  journal="Programmable devices and systems",
  year="2009",
  volume="2009",
  number="1",
  pages="109--114",
  issn="1474-6670",
  url="https://www.fit.vut.cz/research/publication/9074/"
}
Files
Projects
Design and hardware implementation of a patent-invention machine, GACR, Standardní projekty, GA102/07/0850, start: 2007-01-01, end: 2009-12-31, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)
Departments
Department of Computer Systems (DCSY)
Back to top