Detail publikace
Formal Approach to RTL Testability Analysis
HLAVIČKA Jan, KOTÁSEK Zdeněk a RŮŽIČKA Richard. Formal Approach to RTL Testability Analysis. In: sborník konference IEEE LATW 2000. Rio de Janeiro: neznámá, 2000, s. 98-103.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Hlavička Jan, Prof. Ing., DrSc. (FEL ČVUT)
Kotásek Zdeněk, Doc. Ing., CSc. (UIVT-VVS FEI VUT)
Růžička Richard, Ing. (UIVT FEI VUT)
Kotásek Zdeněk, Doc. Ing., CSc. (UIVT-VVS FEI VUT)
Růžička Richard, Ing. (UIVT FEI VUT)
Rok
2000
Strany
98-103
Sborník
sborník konference IEEE LATW 2000
Konference
IEEE LATW 2000, Rio de Janeiro, BR
Vydavatel
neznámá
Místo
Rio de Janeiro, BR
BibTeX
@INPROCEEDINGS{FITPUB6044, author = "Jan Hlavi\v{c}ka and Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka", title = "Formal Approach to RTL Testability Analysis", pages = "98--103", booktitle = "sborn\'{i}k konference IEEE LATW 2000", year = 2000, location = "Rio de Janeiro, BR", language = "english", url = "https://www.fit.vut.cz/research/publication/6044" }