Definitionen

element	Bezeichner für ein Signal oder ein Set von Signalen, dem der Wert des Ausdrucks zugewiesen wird
zuweisungsoperator	= für kombinatorische Zuweisungen
	:= für sequentielle Zuweisungen
[ ! ]	wenn expr wahr ist, wird element inaktiv; vgl. $pin\_id$

Beispiel:

         y1     = !x0 & !x1  " kombinatorische Zuweisung
                #  x0 &  x1;
        !q1     := q0 &  q1  " sequentielle Zuweisung
                # !q0 & !q1;

Punkterweiterungen von Signalen legen das Verhalten des Schaltkreises genauer fest.

.ext	Funktion
.CLK	Definiert die Taktquelle für alle sequentiellen Ausgänge. In diesem Praktikum ist der Bezeichner für den Takteingang clk einzusetzen.
.OE	Definiert die Freigabebedingung für die Tristate-Steuerung des Ausgangssignals in kombinatorischen Gleichungen (nicht nötig in diesem Praktikum).

Bei sequentiellen Gleichungen erfolgt die Tristate-Steuerung extern über den Freigabe-Anschluß.