decoupled_control_port_to_output_values

default_max_tick_count

device_io

device_under_test

dut_inputs

dut_outputs