Rechnergestützte Synthese in Semi-Custom Systemen

Zusammenfassung

Neben den beiden bisher behandelten Problemkreisen, nämlich dem der Spezifikation, d.h. der Diskussion von Beschreibungsebenen und Beschreibungsmethoden, und dem der Analyse, d.h. der Prüfung eines Entwurfes, wollen wir uns mit einem dritten Problemkreis, dem der Synthese, d.h. der automatischen und manuellen Erzeugung detaillierter Darstellungen aus weniger detaillierten, befassen. Ein erstes Beispiel eines Synthesewerkzeuges wurde schon im Kapitel über unregelmäßige Logik vorgestellt, nämlich das der Übersetzung eines endlichen Automaten in ein programmierbares logisches Feld. Man überlegt sich sogar leicht, daß man dieses Verfahren automatisieren kann, d.h. daß man ausgehend von einer graphischen Beschreibung des endlichen Automaten das fertige PLA automatisch generiert. Ähnlich wie die Analyse ist die Synthese eng mit dem Problem der Spezifikation verwoben: je höher die Beschreibungsebene, umso einfacher ist im allgemeinen ein Entwurf zu analysieren (s. vorheriges Kapitel) und umso schwieriger ist das Syntheseproblem zu lösen.