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:
1-2