Hinweis: Da Javascript ausgeschaltet ist, sind die Grafiken nicht animiert.
Gatternetzlisten können beispielsweise mit Verilog beschrieben werden. Dort tretten die Gatter als Bibliotheksaufrufe in Erscheinung. Signalübergangszeiten können mit #(Tfall, Trise) definiert werden.