Témata
- návrh číslicových obvodů pro výpočetní a automatizační techniku,
- návrh analogových obvodů,
- popis číslicových obvodů a syntéza,
- analýza testovatelnosti a tvorba testu,
- verifikace návrhu a testovatelnosti,
- generování testu, prostředky a metody pro autonomní testování,
- biologií inspirované obvody a evoluční principy v návrhu a diagnostice,
- využití optimalizačních metod při návrhu elektronických obvodů,
- nové architektury počítačů,
- vestavěné systémy,
- využití formálních prostředků v návrhu a diagnostice,
- systémy odolné proti poruchám,
- modelování a simulace číslicových obvodů,
- hw-sw codesign, SoC, IP cores.