Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen
In dieser Arbeit wird ein Verfahren der formal korrekten Synthese vorgestellt, mit Hilfe dessen ein automatisierter Entwurf von Prozessoren mit Pipelining möglich ist. Das Verfahren basiert auf einer kleinen Menge korrektheitserhaltender Transformationen, deren Anwendung effizient durch eine unabhän...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | German de |
| Published: |
2001
|
| Online Access: | http://tuprints.ulb.tu-darmstadt.de/110/1/hinrichsen.pdf Hinrichsen, Holger <http://tuprints.ulb.tu-darmstadt.de/view/person/Hinrichsen=3AHolger=3A=3A.html> : Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen. [Online-Edition] Technische Universität, Darmstadt [Ph.D. Thesis], (2001) |
Internet
http://tuprints.ulb.tu-darmstadt.de/110/1/hinrichsen.pdfHinrichsen, Holger <http://tuprints.ulb.tu-darmstadt.de/view/person/Hinrichsen=3AHolger=3A=3A.html> : Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen. [Online-Edition] Technische Universität, Darmstadt [Ph.D. Thesis], (2001)