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"
}
Back to top