| Jahr | Verfasser, Titel |
|---|---|
| 2004 | Göran Herrmann ASICs - Entwurf und Test |
| Jahr | Verfasser, Titel |
|---|---|
| 2012 | Peter Wolf Messsystem zur Überwachung von Faserkunststoffverbunden |
| Jan Langer High-Level-Synthese von Operationseigenschaften |
|
| 2010 | Erik Markert High-level Entwurf von Mikrosystemen |
| 2006 | Claudia Kretzschmar Verlustleistungsreduktion durch transitionsmindernde Kodierung von Systembussen |
| 2005 | Michael Schlegel Mixed-Level-Simulation heterogener Systeme mit VHDL-AMS durch Multi-Architecture-Modellierung |
| Vasco Jerinic ParaGraph – Parameterprüfung für Intellectual Properties |
|
| Robert Siegmund Ein Verfahren zur Protokollspezifikation für die Verifikation und Synthese protokollorientierter digitaler Systeme |
|
| 2003 | Volker Lohweg Ein Beitrag zur effektiven Implementierung adaptiver Spektraltransformationen in applikationsspezifische integrierte Schaltkreise |
| 2000 | Kai Eichhorn Entwurf und Anwendung von ASICs für musterbasierte Fuzzy-Klassifikationsverfahren |
| 1999 | Tom Barthel Eine Methode zur Spezifikation heterogener Systeme |
| Kay Hesse Ein Beitrag zur Lösung hochdimensionaler Boolescher Probleme mit parallelen Algorithmen |
|
| 1995 | Torsten Schleinig Anwendung der Booleschen zeitlichen Ableitung zur Timing Verifikation synchroner digitaler Schaltungen |
| 1994 | Hans-Jürgen Brand Spezifikation und Synthese von arithmetischen Datenpfadkomponenten |