Publication Details

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

MIKA, D. Uplatnění formálních postupů při návrhu řadiče testu číslicového systému. Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Fakulta informačních technologií VUT v Brně, 2003. s. 17-23. ISBN: 80-214-2471-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, timed automaton

Abstract

The paper deals with the process of the test controller desing on register transfer level. The problem of diagnostic data transport to the test element and modelling of the test controller function with the help of the timed automata as formal tool is discused. The principle of parallel test access mechanism is shortly explained.

Published

2003

Pages

17–23

Proceedings

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

ISBN

80-214-2471-0

Publisher

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

Place

Brno

BibTeX

@inproceedings{BUT10888,
  author="Daniel {Mika}",
  title="Uplatnění formálních postupů při návrhu řadiče testu číslicového systému",
  booktitle="Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků",
  year="2003",
  pages="17--23",
  publisher="Fakulta informačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2471-0"
}