New Hardware Design Methods (ESPRIT Working Group 8533 NADA) (ruhend)
Projektstart: 01.04.1998
?
Projektende:?31.12.1998
?
Laufzeit: 01.04.1998 - 31.12.1998
?
Projekttr?ger: Universit?t Augsburg
?
Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller (Leiter)
?
Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Jan A. Bergstra (Universiteit van Amsterdam), Prof. Dr. F. Keith Hanna (威尼斯赌博游戏_威尼斯赌博app-【官网】 of Kent), Prof. Dr. Aron V. Holden (威尼斯赌博游戏_威尼斯赌博app-【官网】 of Leeds), Prof. Dr. Walter Dosch (Universit?t zu Lübeck), Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid), Prof. Dr. H. Schwichtenberg (LMU München)
?
?
Zusammenfassung
Das Projekt erforschte neue, mathematisch fundierte Methoden für Beschreibung und Entwurf von Hardwaresystemen. Dabei wurde der Begriff "Hardwaresystem" sehr allgemein aufgefa?t, so da? er gleicherma?en Architekturen, Schaltungen und Die Schnittstelle von Hardware und Software abdeckte. Ein weiteres Projektziel war ein Vorentwurf für eine Hardwarebeschreibungssprache der n?chsten Generation, mit hohem Abstraktionsniveau und sauberer und vollst?ndig formaler Semantik.
Unter die Beschreibungsaspekte fielen allgemeine Fragen von Zeitabh?ngigkeiten, Parametrisierung und Modularisierung. Die Entwurfstechniken umfa?ten Verifikation, deduktiven Entwurf im Kleinen und strukturierten Entwurf im Gro?en. Mit den Untersuchungen zur Modellierung sollten Anforderungen an Entwurfsmethodiken und Beschreibungssprachen herausdestilliert werden. Das Projekt behandelte Architekturen, Schaltungen, neu entstehende Paradigmen für Hardwaresysteme sowie verschiedene Standardtechnologien; es führte zu vereinheitlichten mathematischen Hardwaremodellen. Geeignete mathematische Methoden stammten aus Berechenbarkeitstheorie, Algebra h?herer Stufe, Beweistheorie und Prozessalgebra mit Zeit. Die entwickelten Techniken wurden anhand repr?sentativer Fallstudien demonstriert.
?
?
Beschreibung
Die Projektdokumentation befindet sich in:
B. M?ller, J.V. Tucker (eds.): Prospects for hardware foundations. Lecture Notes in Computer Science 1546. Berlin: Springer 1998
?
?
Links
?