Logic synthesis employing machine learning

This dissertation topic is available for Czech studies only.

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.