...einige Vorlesungsmaterialien.
SUBDESIGN beispiel ( clk,x1,x0 :INPUT; y1,y0 :OUTPUT; ) VARIABLE ss MACHINE OF BITS (y1,y0) WITH STATES ( s0=B"00", s1=B"01", s2=B"10" ); BEGIN ss.clk=clk; TABLE %Current State, Input, Input next State% ss, x1, x0, => ss; s0, 1, 0, => s1; s0, 0, x, => s0; s1, x, 1, => s1; s1, 1, 0, => s0; s1, 0, 0, => s2; s2, x, x, => s0; END TABLE; END.