DFT Flow for RT Level Digital Circuits Using iFCoRT System
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66974" target="_blank" >RIV/00216305:26230/06:PU66974 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
DFT Flow for RT Level Digital Circuits Using iFCoRT System
Original language description
Our team performs some research activities at the field of testability in past years. These activities results in testability analysis, testability verification, test scheduling and test controller synthesis methodologies. All methodologies are describedformally using language of mathematics and theoretical computer science and are based on a formal model of the RT level digital circuit. These tasks can be performed by the iFCoRT system (I path Based, Formally Described and Proved Concept of RTL Digital Circuits Testability). This paper describes how the system can be used during design-for-testability process - a design flow of a testable RT level digital circuit.
Czech name
Návrhový tok návrhu pro snadnou testovatelnost číslicových systémů na úrovni RT s využitím systému iFCoRT
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F04%2F0737" target="_blank" >GA102/04/0737: Modern methods of digital system synthesis</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006
ISBN
80-8073-598-0
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
292-297
Publisher name
NEUVEDEN
Place of publication
Košice
Event location
Herľany
Event date
Sep 20, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—