Současné Projekty
BOOM-II - Minimalizátor booleovských funkcí
Heuristický minimalizátor dvouúrovňových booleovských funkcí s mnoha vstupy i výstupy
Kontakt:
Petr Fišer
BOOM Benchmarks
Sada umělých benchmarkových obvodů
Dvouúrovňové obvody - PLA
Kontakt:
Petr Fišer
PLA Generator
Parametrický generátor náhodných booleovských funkcí, ve formátu PLA
Kontakt:
Petr Fišer
ColMatch - Nástroj pro syntézu prostředků pro vestavěnou diagnostiku (BIST)
Test-per-clock mixed-mode BIST
Kontakt:
Petr Fišer
DZU databáze benchmarků
Databáze standardních benchmarků pro logickou syntézu
Kontakt:
Hana Kubátová
ADAPTMAP - adaptivní mapování pro FPGA
Víceúčelový mapovací algoritmus schopný přizpůsobit své chování uživatelem specifikovaným podmínkám a cílovému FPGA
Kontakt:
Martin Daněk
Časově řízené algoritmy pro fyzický návrh
Implementace a testování rozmisťovacích a propojovacích algoritmů
Kontakt:
Martin Daněk
Dynamicky rekonfigurovatelná FPGA
Motodika návrhu FPGA
Návrh obvodů odolných proti poruchám
Implementace v ATMEL
Kontakt:
Martin Daněk
Petriho sítě
Implementace Petriho sítí v FPGA
Kontakt:
Hana Kubátová
Optimální implementace konečných automatů v FPGA
Zkoumání vlastností a parametrů popisu konečných automatů
Kódování a dekompozice konečných automatů
Kontakt:
Hana Kubátová
Hardware pro aritmetiku v
GF
(2
m
)
Vývoj aritmetických jednotek škálovatelných podle daného způsobu použití
Interakce mezi algoritmy a architekturou FPGA
Aplikace – systémy pro vestavěnou kryptografii
Kontakt:
Jan Schmidt
Architektury procesorů
Procesor pro výúkové účely – DOP
Hardwarová podpora garbage collection
Rekonfigurovatelné mikroprogramované řadiče
Kontakt:
Miloš Bečvář
Komplexní výukový EDA systém
Experimentální software pro návrh elektronických obvodů
Pro testování nových algoritmů
Jednoduše použitelný
Kontakt:
Petr Fišer
,
Jan Schmidt
Atalanta-M
Modifikovaná ATALANTA z VirginiaTech
Spojení ATPG a simulátoru poruch
Rozšířený interface
Kontakt:
Petr Fišer
Hlavní předešlé projekty
Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu
(GA 102/01/1531, 2001-2003)
Metody optimalizace vestavěných diagnostických prostředků v integrovaných obvodech
(GA 102/01/0566, 2001-2003)
Injekce poruch pro časově spouštěnou architekturu
(OKIX IST-1999-10748, 2000-2002)
Výzkum metod urychlování výpočtů rekonfigurovatelným technickým vybavením
(GA 102/99/1017, 1999-2001)
Metodika a prostředky pro analýzu testovatelnosti digitálních obvodů
(GA 102/98/1463, 1998-2000)
Výzkum a aplikace vestavěných diagnostických prostředků v integrovaných obvodech
(GA 102/98/1003, 1998-2000)
COPRODES - Systém CAD pro automatický návrh komunikačních procesorů na bázi FPGA
(
EU Copernicus
, 1995-1998)