Detail publikace

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: Slovenská akademie věd, 2004, s. 144-149. ISBN 80-969202-0-0.
Název anglicky
The formal method exercising in design of the test controller for digital circuits
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Mika Daniel, Ing. (UPSY FIT VUT)
Klíčová slova

testovatelnost, test, řadič testu, úroveň meziregistrových přenosů, paralelní testy, Hasseův diagram

Abstrakt

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ů.

Rok
2004
Strany
144-149
Sborník
Počítačové architektúry & diagnostika PAD 2004
Konference
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
Vydavatel
Slovenská akademie věd
Místo
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"
}
Nahoru