Detail publikace
DFT Flow for RT Level Digital Circuits Using iFCoRT System
RŮŽIČKA, R. DFT Flow for RT Level Digital Circuits Using iFCoRT System. In Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006. Košice: 2006. p. 292-297. ISBN: 80-8073-598-0.
Název česky
Návrhový tok návrhu pro snadnou testovatelnost číslicových systémů na úrovni RT s využitím systému iFCoRT
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Klíčová slova
Testability Analysis, Testability Verification, Design-for-Testability
Abstrakt
Výzkumná skupina diagnostiky na UPSY FIT VUT v Brně dosáhla v posledních letech některých zajímavých výsledků. Její výzkumné aktivity pokrývají analýzu testovatelnosti, verifikaci testovatelnosti, plánování testu a syntézu řadiče testu. Všechny metodiky jsou důsledně popsány formálně jazykem matematiky a teoretické informatiky a jsou založeny na formálním modelu číslicového obvodu na úrovni RT. Všechny popsané aktivity jsou nyní sjednoceny do systému iFCoRT (I path Based, Formally Described and Proved Concept of RTL Digital Circuits Testability). Tento článek popisuje, jak může být systém iFCoRT využit při návrhu pro snadnou testovatelnost.
Rok
2006
Strany
292–297
Sborník
Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006
ISBN
80-8073-598-0
Místo
Košice
BibTeX
@inproceedings{BUT22270,
author="Richard {Růžička}",
title="DFT Flow for RT Level Digital Circuits Using iFCoRT System",
booktitle="Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006",
year="2006",
pages="292--297",
address="Košice",
isbn="80-8073-598-0"
}