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