Tento kurz poskytuje komplexní přehled technik digitální logiky, které jsou nezbytné pro návrh integrovaných obvodů (IO). Zahrnuje jak základní teorii, včetně booleovských metod reprezentace (ROBDD, ITE), tak klasickou dvouúrovňovou optimalizaci (Quine-McCluskey, Petrickova metoda), spolu s pokročilými víceúrovňovými optimalizačními strategiemi (jádra, booleovské dělení). Důraz je kladen na praktické využití prostřednictvím laboratorních cvičení zaměřených na implementaci algoritmů a praktické zkušenosti s průmyslovými standardními open source nástroji, jako je ABC. Účastníci získají hluboké znalosti o optimalizaci digitálních obvodů pro efektivitu a výkon v rámci návrhu IO.
31.10.2025 - 02.11.2025, 09.00 - 16.00, FEL ČVUT v Praze, kat. mikroelektroniky, online: https://forms.gle/3zdM2eXKVm9Sr3E28
