Detail publikace

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

MIKA, D.

Originální název

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

Anglický název

The formal method exercising in design of the test controller for digital circuits

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

čeština

Originální 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ů.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

MIKA, D.

Rok RIV

2004

Vydáno

15. 9. 2004

Nakladatel

Slovenská akademie věd

Místo

Bratislava

ISBN

80-969202-0-0

Kniha

Počítačové architektúry & diagnostika PAD 2004

Strany od

144

Strany do

149

Strany počet

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"
}