Publication detail

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

MIKA, D.

Original Title

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

Czech Title

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

Language

cs

Original Abstract

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

Czech abstract

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

Documents

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