Počítačové architektury & diagnostika 2018

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