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

English title

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

Type

conference paper

Language

Czech

Authors

Mika Daniel, Ing., Ph.D.

Keywords

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

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.

Published

2004

Pages

144–149

Proceedings

Počítačové architektúry & diagnostika PAD 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"
}