Uplatnění formálních postupů při návrhu řadiče testu číslicového systému

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42607" target="_blank" >RIV/00216305:26230/03:PU42607 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Uplatnění formálních postupů při návrhu řadiče testu číslicového systému

Popis výsledku v původním jazyce

Práce se zabývá procesem návrhu řadiče testu na úrovni meziregistrových přenosů (anglicky RTL = <u>R</u>egister <u>T</u>ransfer <u>L</u>evel). Je v&nbsp;ní diskutována problematika přenosu diagnostických dat k&nbsp;testovanému prvku a modelování činnostiřadiče testu při nastavování I-cest za použití formálního prostředku - časovaného automatu. V&nbsp;závěru je nastíněn možný přístup paralelního testování obvodových prvků.

Název v anglickém jazyce

The formal method exercising in design of the test controller for digital circuits

Popis výsledku anglicky

The paper deals with the process of the test controller desing on register transfer level.&nbsp;The problem of diagnostic data transport to the test element and modelling of the test controller function with the help of the timed automata as formal toolis discused. The principle of parallel test access mechanism is shortly explained.&nbsp;

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků

ISBN

80-214-2471-0

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

17-23

Název nakladatele

Fakulta informačních technologií VUT v Brně

Místo vydání

Brno

Místo konání akce

Zvíkovské Podhradí

Datum konání akce

24. 9. 2003

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—