Conference paper

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.
Publication language:czech
Original title:Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
Title (en):The formal method exercising in design of the test controller for digital circuits
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
Place:Bratislava, SK
Year:2004
ISBN:80-969202-0-0
Publisher:Slovak Academy of Science
Keywords
testability, test, test controller, register transfer level, parallel tests, Hasse diagram
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7575}
}

Your IPv4 address: 54.224.43.96
Switch to IPv6 connection

DNSSEC [dnssec]