Moderní metody syntézy číslicových systémů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 6 (SGA02004GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Modern methods of digital system synthesis

Anotace anglicky

The goal of the project is to develop, implement and verify methodologies based on approaches which are new, non-standard and not utilised in design systems yet. Our attention will be mainly paid to utilisation of biology inspired techniques and formal approaches and their merging. The objectives of the project are formulated in the following way: 1. The identification of biology inspired techniques applicable for the synthesis of digital systems. 2. The development of biology inspired methodologies tobe utilised in the following procedures during a digital synthesis: design and synthesis, testability analysis and synthesis for testability, adaptability of the system during its operation, providing fault tolerance during system operation. 3. The definition of utilising the principles of formal approaches during a digital system synthesis, the main attention will be paid especially to IP core based systems. 4. The development of formal approaches to be utilised in the following procedures during

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

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

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Zadání projektu si kladlo za cíl rozvoj moderních metod návrhu číslicových systémů a uplatnění formálních postupů v těchto metodách. Oba cíle byly uplatněny při vývoji metodik návrhu číslicových systémů a vývoji metodik jejich testování. Byly zkoumány no

Zahájení řešení

1. 1. 2004

Ukončení řešení

1. 1. 2006

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP07-GA0-GA-U/03:2

Datum dodání záznamu

16. 10. 2007

Celkové uznané náklady

3 140 tis. Kč

Výše podpory ze státního rozpočtu

2 728 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

620 tis. Kč