Basic Module Format
Architecture (cont.)

ELSE

   -- no input token, release token from independent output

   release_control_token (independent_output);

END IF;

-- [7]

IF token_acked (dependent_output) THEN

   -- Pass output acknowledgement back through

   release_token (dependent_output);

   ack_token (data_input);

END IF;

-- [8]

IF token_released (data_input) THEN

   remove_token (data_input);

END IF;

-- [9]

WAIT ON data_input, dependent_output, control_input;

END PROCESS;

END ar_module_name;