Deduktiver Hardware-Entwurf

Projektstart: 01.01.1997

 

Projektträger: Universität Augsburg

 

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:

 

Suche