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é architektúry & diagnostika PAD 2004. Bratislava: Slovak Academy of Science, 2004, pp. 144-149. ISBN 80-969202-0-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, register transfer level, parallel tests, Hasse diagram

Abstract

The paper describes the test controller design for RTL = Register Transfer Level. The problem of the test controller function modelling with the timed automaton is discused, the parallel transfer of diagnostic data approach is explained and finally the methodology of the test resource selection is demonstrated.

Published
2004
Pages
144-149
Proceedings
Počítačové architektúry & diagnostika PAD 2004
Conference
Pracovný seminár pre študentov doktorandského štúdia Počítačové architektúry & diagnostika 2004 , Kaštieľ Moravany nad Váhom, SK
ISBN
80-969202-0-0
Publisher
Slovak Academy of Science
Place
Bratislava, SK
BibTeX 
@INPROCEEDINGS{FITPUB7575,
   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 = "144--149",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architekt\'{u}ry \& diagnostika PAD 2004",
   year = 2004,
   location = "Bratislava, SK",
   publisher = "Slovak Academy of Science",
   ISBN = "80-969202-0-0",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7575"
}
Back to top