Result Details

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. Počítačové architektúry & diagnostika PAD 2004. Bratislava: Slovenská akademie věd, 2004. s. 144-149. ISBN: 80-969202-0-0.
Type
conference paper
Language
Czech
Authors
Mika Daniel, Ing., Ph.D., FIT (FIT), DCSY (FIT)
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ů.

Keywords

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

English keywords

testability, test, test controller, register transfer level, parallel tests, Hasse diagram

Published
2004
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
ISBN
80-969202-0-0
Publisher
Slovenská akademie věd
Place
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"
}
Projects
Modern Methods of Digital Systems Design, GACR, Standardní projekty, GA102/04/0737, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Computer Systems (DCSY)
Back to top