Moderní metody syntézy číslicových systémů
Cíle projektu
Cílem navrhovatelů projektu je návrh, implementace a ověření metodik návrhu číslicových obvodů založených na postupech, které je možné považovat za nové, nestandardní a doposud nevyužívané v návrhových systémech. Pozornost bude zaměřena především na využití a kombinaci biologií inspirovaných technik a formálních postupů. Cíle projektu jsou stanoveny takto: 1. Identifikovat vhodné biologií inspirované techniky pro syntézu číslicových systémů. 2. Vytvořit biologií inspirované metodiky využitelné při těchto činnostech souvisejících s návrhem číslicových obvodů: návrh a syntéza obvodu, analýza testovatelnosti a návrh snadno testovatelných obvodů, zajištění adaptability obvodu během jeho činnosti, zajištění odolnosti proti poruchám během činnosti obvodu. 3.Definovat principy využití formálních postupů při syntéze číslicových systémů, zaměřit se především na systémy na bázi IP jader (IP core). 4. Vytvořit formální postupy využitelné při těchto činnostech souvisejících s návrhem číslicových
Klíčová slova
Veřejná podpora
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
—
Alternativní jazyk
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
Vědní obory
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
(dle převodníku)20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
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
Termíny řešení
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
—
Dodání dat do CEP
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
Finance
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č
Základní informace
Uznané náklady
3 140 tis. Kč
Statní podpora
2 728 tis. Kč
86%
Poskytovatel
Grantová agentura České republiky
CEP
JC - Počítačový hardware a software
Doba řešení
01. 01. 2004 - 01. 01. 2006