Conference paper

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.
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: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
Place:Brno, CZ
Year:2003
ISBN:80-214-2471-0
Publisher:Faculty of Information Technology BUT
Keywords
Testability, test, test controller, timed automaton
Annotation
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. 
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 = {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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7291}
}

Your IPv4 address: 107.22.126.144
Switch to IPv6 connection

DNSSEC [dnssec]