

Beschreibung
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 bas...