CU := VarBOOL1 , CD := VarBOOL2 , RESET := VarBOOL3 ,
CTUDInst ( CU := VarBOOL1 , CD := VarBOOL2 , RESET := VarBOOL
:= VarBOOL1 , RESET1 := VarBOOL2 ); VarBOOL3 := RSInst
1 := VarBOOL1 , RESET := VarBOOL2 ); VarBOOL3 := SRInst
LCTUInst ( CU := VarBOOL1 , RESET := VarBOOL [...] LWORD1 ); VarBOOL3 :=
:= VarBOOL1 , RESET := VarBOOL2 , [...] VarBOOL3 := CTUInst
LCTDInst ( CD := VarBOOL1 , LOAD := VarBOOL [...] LWORD1 ); VarBOOL3 :=
:= VarBOOL1 , LOAD := VarBOOL2 , PV := VarWORD1 ); VarBOOL
FTRIGInst ( CLK := VarBOOL1 ); VarBOOL2 := [...] Comment Input CLK BOOL
RTRIGInst ( CLK := VarBOOL1 ); VarBOOL2 := [...] Comment Input CLK BOOL