Title |
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen / Holger Hinrichsen |
|---|---|
Involved |
Holger Hinrichsen (Verfasser) |
Published |
2000 |
Extent |
XIV, 152 S. : graph. Darst. |
Thesis |
Darmstadt, Techn. Univ., Diss., 2000 (Nicht für den Austausch) |
Topic |
|
Subject |
Pipeline-Rechner, Hardwareentwurf, Schaltungssynthese, Semantikerhaltende Transformation, Hardwareverifikation, Hardwarebeschreibungssprache |
Other editions |
Erscheint auch als Online-Ausgabe: Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen |
Record ID |
961705043 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: