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;
|