Detail projektu

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

Období řešení: 1. 1. 2004 - 31. 12. 2006

Typ projektu: grant

Kód: GA102/04/0737

Agentura: Grantová agentura České republiky

Program:

Název anglicky
Modern Methods of Digital Systems Design
Typ
grant
Klíčová slova

syntéza číslicových systémů, diagnostika číslicových systémů

Abstrakt

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 obvodů: návrh a syntéza číslicových obvodů, analýza testovatelnosti a návrh snadno testovatelných obvodů.

5. Vytvoření metodik založených ma sloučení obou technik umožňující vytvořit biologií inspirované techniky zohledňující aspekty testovatelnosti.

6. Účinnost metodik ověřit na testovacích (benchmark) obvodech a na praktických návrzích.

Řešitelé
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT) , hlavní řešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Bryan Luděk, Ing. (UPSY FIT VUT)
Mika Daniel, Ing. (UPSY FIT VUT)
Pečenka Tomáš, Ing. (UPSY FIT VUT)
Tupec Pavel, Ing. (UPSY FIT VUT)
Publikace

2008

2006

2005

2004

Nahoru