Detail publikace

UPLATNĚNÍ FORMÁLNÍCH POSTUPŮ PŘI NÁVRHU ŘADIČE TESTU ČÍSLICOVÉHO OBVODU

MIKA Daniel. Uplatnění formálních postupů při návrhu řadiče testu číslicového systému. In: Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Fakulta informačních technologií VUT v Brně, 2003, s. 17-23. ISBN 80-214-2471-0.
Název anglicky
The formal method exercising in design of the test controller for digital circuits
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Mika Daniel, Ing. (UPSY FIT VUT)
Klíčová slova

Testovatelnost, test, řadič testu, časovaný automat.

Abstrakt

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

Rok
2003
Strany
17-23
Sborník
Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků
Konference
Pracovní seminář Počítačové architektury & diagnostika 2003 pro studenty doktorského studia, Zvíkovské Podhradí, CZ
ISBN
80-214-2471-0
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7291,
   author = "Daniel Mika",
   title = "UPLATN\v{E}N\'{I} FORM\'{A}LN\'{I}CH POSTUP\r{U} P\v{R}I N\'{A}VRHU \v{R}ADI\v{C}E TESTU \v{C}\'{I}SLICOV\'{E}HO OBVODU",
   pages = "17--23",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} Architektury \& Diagnostika Pracovn\'{i} semin\'{a}\v{r} pro studenty doktorsk\'{e}ho studia Sborn\'{i}k p\v{r}\'{i}sp\v{e}vk\r{u}",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-2471-0",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7291"
}
Nahoru