Publication detail

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

MIKA, D.

Original Title

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

English Title

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

Type

conference paper

Language

Czech

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

English abstract

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.

Keywords

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

Key words in English

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

Authors

MIKA, D.

RIV year

2004

Released

15. 9. 2004

Publisher

Slovenská akademie věd

Location

Bratislava

ISBN

80-969202-0-0

Book

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

Pages from

144

Pages to

149

Pages count

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