|
11 |
Preprocessing for property checking of sequential circuits on the register transfer level
Brinkmann, Raik, 2003
|
|
|
|
12 |
Strukturgesteuerte Abbildung von Register-Transfer-Komponenten für Daten- und Steuerpfade auf LUT-basierte FPGAs
Abke, Jörg. - Düsseldorf : VDI-Verl., 2002, Als Ms. gedr.
|
|
|
|
13 |
Verfahren der Erreichbarkeitsanalyse von Transitionssystemen zur formalen Verifikation von Schaltungsbeschreibungen auf der Register-Transfer-Ebene
Schönherr, Jens, 2002
|
|
|
|
14 |
Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren
Haug, Gunter. - Berlin : Logos-Verl., 2001
|
|
|
|
15 |
Wiederverwendung von Validierungsumgebungen
Hansen, Cordula N.. - Berlin : Logos-Verl., 2000
|
|
|
16 |
Methodik zur Konstruktion und Optimierung von Fließbandstrukturen
Thome, Stefan. - Marburg : Tectum-Verl., 1999, [Mikrofiche-Ausg.]
|
|
|
|
17 |
ILP-basierte Mikroarchitektur-Synthese mit komplexen Bausteinbibliotheken
Landwehr, Birger. - Düsseldorf : VDI-Verl., 1998, Als Ms. gedr.
|
|
|
|
18 |
Synthese von Registertransferstrukturen auf Basis konventioneller Programmiersprachen
Schoppa, Irenäus, 1998
|
|
|
|
19 |
Spezifikation und Synthese aus taktfreien VHDL Verhaltensbeschreibungen
Gutberlet, Peter, 1997
|
|
|
|
20 |
Beiträge zum rechnergestützten Entwurf mikroprogrammierter Steuerwerke auf Registertransferebene
Laubner, Karsten, 1993
|
|
Administration
