Nicht die Hardware-Entwicklung selbst steht in diesem Modul im Fokus, sondern die Verifikation des Hardware-Entwurfes, welche mittels mathematischer und analytischen Methoden durchgeführt wird. An einem praktischen Beispiel wird der probabilistische Sicherheitsnachweis vorgestellt und eingeübt. Weiter werden auf verschiedene Analytik-Methoden eingegangen.
Unsere Trainings finden ab drei angemeldeten Teilnehmern statt, Sie erhalten ca. 4 Wochen vor dem Training eine Anmeldebestätigung.