Návrhový tok návrhu pro snadnou testovatelnost číslicových systémů na úrovni RT s využitím systému iFCoRT

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

DFT Flow for RT Level Digital Circuits Using iFCoRT System

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

DFT Flow for RT Level Digital Circuits Using iFCoRT System

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F04%2F0737" target="_blank" >GA102/04/0737: Moderní metody syntézy číslicových systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006

ISBN

80-8073-598-0

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

292-297

Název nakladatele

NEUVEDEN

Místo vydání

Košice

Místo konání akce

Herľany

Datum konání akce

20. 9. 2006

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—