Seznam témat:

• Návrh číslicových obvodů pro výpočetní a automatizační techniku
  
• Návrh analogových a hybridních obvodů
  
• Modelování číslicových obvodů a syntéza
  
• Analýza testovatelnosti a tvorba testu
  
• Verifikace návrhu a testovatelnosti
  
• Generování testů, prostředky a metody pro samočinné testování
  
• Biologií inspirované návrhy obvodů a evoluční pricnipy v návrhu a diagnostice
  
• Využití optimalizačních metod při návrhu elektrických obvodů
  
• Nové architektury počítačů
  
• Vestavěné (embedded) systémy
  
• Formální prostředky v návrhu a diagnostice
  
• Systémy odolné proti poruchám
  
• Průběžná diagnostika a spolehlivost
  
• Modelování a simulace číslicových a analogových obvodů
  
• HW-SW codesign, SoC, IP cores, návrh, testování aplikace