Detail publikace

Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu

MIKA, D. 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
česky
Autoři
Mika Daniel, Ing., Ph.D.
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
ISBN
80-969202-0-0
Vydavatel
Slovenská akademie věd
Místo
Bratislava
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"
}
Nahoru