Detail publikace

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

MIKA, D.

Originální název

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

Český název

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

Typ

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

Jazyk

cs

Originální abstrakt

Práce 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 přenosu diagnostických dat k testovanému prvku a modelování činnosti řadiče testu při nastavování I-cest za použití formálního prostředku - časovaného automatu. V závěru je nastíněn možný přístup paralelního testování obvodových prvků.

Český abstrakt

Práce 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 přenosu diagnostických dat k testovanému prvku a modelování činnosti řadiče testu při nastavování I-cest za použití formálního prostředku - časovaného automatu. V závěru je nastíněn možný přístup paralelního testování obvodových prvků.

Klíčová slova

Testovatelnost, test, řadič testu, časovaný automat.

Rok RIV

2003

Vydáno

24.09.2003

Nakladatel

Fakulta informačních technologií VUT v Brně

Místo

Brno

ISBN

80-214-2471-0

Kniha

Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků

Strany od

17

Strany do

23

Strany počet

7

Dokumenty

BibTex 


@inproceedings{BUT10888,
  author="Daniel {Mika}",
  title="Uplatnění formálních postupů při návrhu řadiče testu číslicového systému",
  annote="Práce 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 přenosu diagnostických dat k testovanému prvku a modelování činnosti řadiče testu při nastavování I-cest za použití formálního prostředku - časovaného automatu. V závěru je nastíněn možný přístup paralelního testování obvodových prvků.",
  address="Fakulta informačních technologií VUT v Brně",
  booktitle="Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků",
  chapter="10888",
  institution="Fakulta informačních technologií VUT v Brně",
  year="2003",
  month="september",
  pages="17--23",
  publisher="Fakulta informačních technologií VUT v Brně",
  type="conference paper"
}