Publication Details

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 OBVODU. In: Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Faculty of Information Technology BUT, 2003, pp. 17-23. ISBN 80-214-2471-0.
English title
The formal method exercising in design of the test controller for digital circuits
Type
conference paper
Language
czech
Authors
Mika Daniel, Ing. (DCSY FIT BUT)
Keywords

Testability, test, test controller, timed automaton

Abstract

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. 

Published
2003
Pages
17-23
Proceedings
Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků
Conference
Pracovní seminář Počítačové architektury & diagnostika 2003 pro studenty doktorského studia, Zvíkovské Podhradí, CZ
ISBN
80-214-2471-0
Publisher
Faculty of Information Technology BUT
Place
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"
}
Back to top