Auflistung nach Autor "Große, Daniel"
Anzeige der Dokumente 1-3 von 3
-
Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors
Große, Daniel; Kühne, Ulrich; Drechsler, Rolf
308-312 -
Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Große, Daniel
121-130 -
Security validation of VP-based SoCs using dynamic information flow tracking
Goli, Mehran; Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
45-58