Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller
?
?
Zusammenfassung
Ein spezieller Fall paralleler Systeme sind Hardwarekomponenten. Eine Schaltung der Hardware ist ja nichts weiter als ein "eingefrorenes" Programm; gleichzeitig ist sie ein hochgradig paralleles System, bestehend aus Millionen von Schaltgliedern. Als konkrete Fallstudien für die Technik des deduktiven Entwurfs wurden u.a. die grundlegenden Schaltungen der Rechnerarithmetik formal aus der Spezifikation hergeleitet.
?
?
Beschreibung
Das Projekt unterteilt sich in folgende Teilprojekte:
