Teubner Texte zur Informatik Parametrisierte Spezifikation von Schaltkreisen

Gegenstand dieses Buches ist die Entwicklung einer graphischen Arbeitsumgebung zum Entwurf integrierter Schaltkreise. Das vorgestellte System zeichnet sich besonders dadurch aus, daß seine Spezifikationsebene auf einem wohldefinierten mathematischen Kalkül basiert. Es wird gezeigt, daß dieser Ansatz dem Entwerfer ein mächtiges Werkzeug in die Hand gibt, mit dem er auf einfache Weise große reguläre Schaltkreise generisch beschreiben kann. In der gegebenen Kombination aus mathematischer Basis und graphischer Darstellung einer Spezifikation ist es den derzeit in kommerziellen Entwurfssystemen integrierten graphischen Editoren überlegen. Unter Ausnutzung der hierarchischen Schaltkreisstruktur bietet das System komfortable Navigationsmöglichkeiten, die zusammen mit dem integrierten Visualisierungskomponenten eine übersichtliche Kontrolle der einzelnen Entwurfsschritte unterstützen.