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
- Verifikace návrhu a testovatelnosti
- Generování testu, prostředky a metody pro autonomní testování
- Evolvable hardware, bio-inspirované techniky v návrhu a diagnostice
- Využití optimalizačních metod při návrhu elektronických obvodů
- Nové architektury počítačů
- Vnořené 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 jádra
- Šifrování a komprese dat
- Síťové a komunikační hardware
- Embedded security
Tato témata lze dále rozšiřovat po dohodě s programovým výborem.
