Přístupnostní navigace
E-application
Search Search Close
Publication detail
MIKA, D.
Original Title
Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
English Title
The formal method exercising in design of the test controller for digital circuits
Type
conference paper
Language
Czech
Original Abstract
Příspěvek 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 modelování činnosti řadiče testu pomocí časovaného automatu, dále problematika paralelního přenosu diagnostických dat k testovaným prvkům a nakonec metodika výběru registrů, které se budou podílet na aplikaci testu prvků.
English 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.
Keywords
testovatelnost, test, řadič testu, úroveň meziregistrových přenosů, paralelní testy, Hasseův diagram
Key words in English
testability, test, test controller, register transfer level, parallel tests, Hasse diagram
Authors
RIV year
2004
Released
15. 9. 2004
Publisher
Slovenská akademie věd
Location
Bratislava
ISBN
80-969202-0-0
Book
Počítačové architektúry & diagnostika PAD 2004
Pages from
144
Pages to
149
Pages count
6
BibTex
@inproceedings{BUT17369, author="Daniel {Mika}", title="Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu", booktitle="Počítačové architektúry & diagnostika PAD 2004", year="2004", pages="144--149", publisher="Slovenská akademie věd", address="Bratislava", isbn="80-969202-0-0" }