Výzkum
- Algoritmy pro návrh programovatelných obvodů (FPGA)
- Diagnostika a spolehlivost logických obvodů
- Aritmetika a kryptografie
- High-level specifikace obvodů pro FPGA a její aplikace
- Logická syntéza
Oblasti zájmu
- Algoritmy pro fyzický návrh programovatelných obvodů (FPGA)
- Petriho sítě a jejich hardwarová implementace
- Implementace konečných automatů v FPGA
- Minimalizace booleovských funkcí
- Dekompozice kombinačních obvodů
- Vytváření benchmarků pro návrh logických obvodů
- Diagnostika a spolehlivost obvodů, návrh samotestovatelných obvodů v FPGA
- Návrh on-line a off-line vestavěné diagnostiky (BIST)
- Přesná a modulární aritmetika, implementace aritmetických jednotek v FPGA
- Návrh rekonfigurovatelných systémů, akcelerátory založené na FPGA
- Urychlení algoritmů založených na ECDSA
- Samoadaptující se systémy založené na evolučních algoritmech
Financování
Granty
Spolupráce s ostatními institucemi