The Test Controller Model Based on The Timed Automaton

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42526" target="_blank" >RIV/00216305:26230/03:PU42526 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
The Test Controller Model Based on The Timed Automaton
Popis výsledku v původním jazyce
In the paper the process of the test controller model design and synthesis on Register Transfer Level (RTL) is described. The principles of test application to circuit element by the test controller model is discussed. The problem of I-path is explained.The formal tool - the timed automaton - is used as a suitable tool for test controller model. In the end of paper there is a simple example of timed automaton, which represents a model of particular behavior of the test controller.
Název v anglickém jazyce
The Test Controller Model Based on The Timed Automaton
Popis výsledku anglicky
In the paper the process of the test controller model design and synthesis on Register Transfer Level (RTL) is described. The principles of test application to circuit element by the test controller model is discussed. The problem of I-path is explained.The formal tool - the timed automaton - is used as a suitable tool for test controller model. In the end of paper there is a simple example of timed automaton, which represents a model of particular behavior of the test controller.

Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of 37th International Conference MOSIS 03 Modelling and Simulation of Systems
ISBN
80-85988-86-0
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
107-114
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Brno
Datum konání akce
28. 4. 2003
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)