running, until xComplete is TRUE , x [...] Action is running until x

running, until xComplete is TRUE , x [...] Action is running until x

running, until xComplete is TRUE , x [...] Action is running until x

VState_ApplyParamState : BOOL Assuming uDst(x) = uSrc(sigma(x [...] = (sigma(x), sigma’(x

Connection . As long as x [...] data. If xReady is [...] Inherited from Input x

ChannelType USINT !< 0x00 TYPE OF [...] ChannelId USINT !< 0x01 Channel [...] SizePositionOfHandshake USINT !< 0x02 Size

running until either x [...] ErrorID ≠ 0 (Zero). If x [...] // ⇒ xComplete := TRUE

Type Input xExecute BOOL xAbort BOOL ui [...] _REF_ETC_SM3 Output xDone BOOL x

Type Input xExecute BOOL xAbort BOOL ui [...] _REF_ETC_SM3 Output xDone BOOL x

DynState_ApplyParamState : BOOL Assuming uDst(x) = uSrc(sigma(x [...] = (sigma(x), sigma’(x