Rechnergestützter Entwurf digitaler Systeme: Stand, Probleme, Aussichten

Rechnerbeschreibungssprachen bilden die Grundlage für den rechnergestützten Entwurf digitaler Systeme. Es handelt sich dabei um formale operative Sprachen, die den Signalverlauf auf den Signalträgern (z.B. Anschlüsse, Register, Speicher) charakterisieren. Sie können sich dabei nicht, wie es bei Programmiersprachen der Fall ist, darauf beschränken, Zustandsänderungen in den Trägern durch Anweisungsfolgen abstrakter Steueranweisungen (Kontrollstrukturen) darzustellen. Sie müssen vielmehr auch die Darstellung solcher Zustandsänderungen als signal- bzw. ereignisgesteuerte Aktivitäten und auf unterster Ebene als Signalfluß unterstützen. Auch müssen neben reinen Signalfolgen auch Signalverläufe in realer Zeit darstellbar sein.