Procedural Activities The syntax for procedural mini-spec is comparable to that of the trigger part, without the action. For example, if( C ) then A endif while(something) do anotherthing end and so on. Consider the following example, for a mini-spec defined as: if(WORKING) then SET_SIGNAL endif The generated code would be: if(WORKING){ GENERATE_EVENT(SET_SIGNAL); };
The syntax for procedural mini-spec is comparable to that of the trigger part, without the action. For example, if( C ) then A endif while(something) do anotherthing end and so on.
f( C ) then A endif while(something) do anotherthing end
Consider the following example, for a mini-spec defined as: