Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=962731447
Link zu diesem Datensatz | https://d-nb.info/962731447 |
Art des Inhalts | Hochschulschrift |
Titel | Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen / Holger Hinrichsen |
Person(en) | Hinrichsen, Holger (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | ca. 1,1 MB |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Hinrichsen, Holger: Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen |
Hochschulschrift | Darmstadt, Techn. Univ., Diss., 2000 |
Persistent Identifier | URN: urn:nbn:de:tuda-tuprints-1108 |
URL | http://elib.tu-darmstadt.de/diss/000110/hinrichsen.pdf |
Schlagwörter | Pipeline-Rechner ; Hardwareentwurf ; Schaltungssynthese ; Semantikerhaltende Transformation ; Hardwareverifikation ; Hardwarebeschreibungssprache |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Online-Zugriff | Archivobjekt öffnen |