Search for persons
X
?
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Jens Brandt ... (Hrsg.)
1
Exploiting model-knowledge in high-level synthesis:
, In:Copies:
Zentrale:Magazin 02.n.0305
?
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Daniel Große, Rolf Drechsler (Hrsg.)
2
Redundancy-aware design space exploration for memory reliab..:
, In:
?
3
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
eXamen.press
Copies:
Zentrale:E02 a inf 170 e/771; :TB Technik n 500/95
?
4
Digitale Hardware/Software-Systeme
Synthese und Optimierung ; mit 14 Tabellen
eXamen.press
Copies:
Zentrale:E02 a inf 311 ezs/189(2)