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;