Detail publikace
Testability Analysis Based on Formal Model
HERRMAN Tomáš. Testability Analysis Based on Formal Model. In: Proceedings of the Sevnth International Scientific Conference ECI 2006. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2006, s. 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
angličtina
Autoři
Herrman Tomáš, Ing., Ph.D. (UPSY FIT VUT)
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
Konference
7TH International Scientific Conference Electronic Computers and Informatics 2006, Herľany, SK
ISBN
80-8073-598-0
Vydavatel
Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach
Místo
Košice, SK
BibTeX
@INPROCEEDINGS{FITPUB8176, author = "Tom\'{a}\v{s} Herrman", title = "Testability Analysis Based on Formal Model", pages = "243--248", booktitle = "Proceedings of the Sevnth International Scientific Conference ECI 2006", year = 2006, location = "Ko\v{s}ice, SK", publisher = "Faculty of Electrical Engineering and Informatics, University of Technology Ko\v{s}ice", ISBN = "80-8073-598-0", language = "english", url = "https://www.fit.vut.cz/research/publication/8176" }