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, biologií inspirované techniky v návrhu a diagnostice,
-
využití optimalizačních metod při návrhu elektronických obvodů,
-
nové architektury počítačů
(FPGA, GPGPU, IBM CELL)
-
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,
- šifrování a komprese dat.