Detail výsledku
UPLATNĚNÍ FORMÁLNÍCH POSTUPŮ PŘI NÁVRHU ŘADIČE TESTU ČÍSLICOVÉHO OBVODU
Práce se zabývá procesem návrhu řadiče testu na úrovni meziregistrových přenosů (anglicky RTL = Register Transfer Level). Je v ní diskutována problematika přenosu diagnostických dat k 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 závěru je nastíněn možný přístup paralelního testování obvodových prvků.
The paper deals with the process of the test controller desing on register transfer level. 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 tool is discused. The principle of parallel test access mechanism is shortly explained.
Testovatelnost, test, řadič testu, časovaný automat.
Testability, test, test controller, timed automaton
@inproceedings{BUT10888,
author="Daniel {Mika}",
title="UPLATNĚNÍ FORMÁLNÍCH POSTUPŮ PŘI NÁVRHU ŘADIČE TESTU ČÍSLICOVÉHO OBVODU",
booktitle="Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků",
year="2003",
pages="17--23",
publisher="Fakulta informačních technologií VUT v Brně",
address="Brno",
isbn="80-214-2471-0"
}