Formal approaches in digital circuit diagnostics - testable design verification

Provider

Czech Science Foundation

Programme

Standard projects

Call for proposals

Standardní projekty 1 (SGA02002GA-ST)

Main participants

Vysoké učení technické v Brně / Fakulta informačních technologií

Contest type

VS - Public tender

Contract ID

—

Project name in Czech

Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu

Annotation in Czech

Narůstající složitost číslicových obvodů klade stale vyšší nároky na jejich testování. Uplatnění diagnostických principů se stalo nedílnou součástí syntézy číslicových obvodů. Současně s probíhající syntézou obvodu jsou tedy zvažovány možnosti jeho testo

R&D category

—

CEP classification - main branch

JC - Computer hardware and software

CEP - secondary branch

—

CEP - another secondary branch

—

OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

20206 - Computer hardware and architecture

Provider evaluation

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Project results evaluation

Projekt přinesl nové poznatky v oblasti vytvoření formálních postupů pro analýzu testovatelnosti číslicových obvodů. Závěrečná karta poskytuje adekvátní údaje. Aplikační význam projektu spočívá v návazném návrhu snadno testovatelných obvodů; součástí pr

Realization period - beginning

Jan 1, 2001

Realization period - end

Jan 1, 2003

Project status

U - Finished project

Latest support payment

—

Confidentiality

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

Data delivery code

CEP/2004/GA0/GA04GA/U/N/A:11

Data delivery date

May 30, 2008

Total approved costs

2,650 thou. CZK

Public financial support

2,040 thou. CZK

Other public sources

645 thou. CZK

Non public and foreign sources

0 thou. CZK