Detail publikace

Testability Analysis Based on Formal Model

HERRMAN, T. Testability Analysis Based on Formal Model. In Proceedings of the Sevnth International Scientific Conference ECI 2006. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2006. p. 243-248. ISBN: 80-8073-598-0.
Název česky
Analýza testovatelnosti založená na formálním modelu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Herrman Tomáš, Ing., Ph.D.
Klíčová slova

formální model, RT úroveň, testovatelný blok, analýza testovatelnosti

Abstrakt

V článku je popsán formální model obvodu na RT úrovni. Model je použit k popsání vlastností Testovatelného bloku. Je naznačeno jak je možné návrh Testovatelného bloku použít k snížení počtu registrů zařazených do řetězce scan na RT úrovni.

Rok
2006
Strany
243–248
Sborník
Proceedings of the Sevnth International Scientific Conference ECI 2006
ISBN
80-8073-598-0
Vydavatel
Faculty of Electrical Engineering and Informatics, University of Technology Košice
Místo
Košice
BibTeX 
@inproceedings{BUT22268,
  author="Tomáš {Herrman}",
  title="Testability Analysis Based on Formal Model",
  booktitle="Proceedings of the Sevnth International Scientific Conference ECI 2006",
  year="2006",
  pages="243--248",
  publisher="Faculty of Electrical Engineering and Informatics, University of Technology Košice",
  address="Košice",
  isbn="80-8073-598-0"
}
Nahoru