Téma disertační práce
Logická syntéza s využívající strojové učení
Ak. rok 2025/2026
Školitel: Mrázek Vojtěch, Ing., Ph.D.
Ústav: Ústav počítačových systémů
Programy:
Informační technologie (DIT) - prezenční studium
Informační technologie (DIT) - kombinované studium
V oblasti logické syntézy digitálních obvodů se významně objevují metody využívající metod strojového učení (ML). Tyto metody nacházejí uplatnění buď při získávání parametrů kandidátních řešení, tak pro určení jednotlivých optimalizačních kroků prováděných v průběhu logické syntézy. Cílem výzkumu bude efektivní spojení výhod použití evolučních algoritmů v logické syntéze s ML modely. Další možností výzkumu je urychlení heuristické evoluční metody za pomoci pokročilých genetických operátorů řízených ML technikami. Součástí projektu bude tvorba vhodných datových sad pro potřebu trénování těchto ML modelů a evaluaci navržených metod. Na úlohách návrhu a optimalizace přesných a aproximačních obvodů na různých úrovních abstrakce bude experimentálně vyhodnocována účinnost navržených řešení. Výzkum spadá to témat řešených výzkumnou skupinou Evolvable Hardware.