data/full_repos/permissive/489642764/src/wb_ctrl/wb_ctrl.v
data/verilator_xmls/d81146d8-0c44-41d5-aa47-fc2049552096.xml
function end_curr_inst_f;
		input  [3:0] curr_inst_type_arg;
		input        start_curr_inst_arg;
		input [31:0] wait_count_arg;
		input        wb_ack_i_arg;
		case (curr_inst_type_arg)
			INST_WAIT       : end_curr_inst_f = ((|wait_count_arg) == 1'b0);
			INST_READ       : end_curr_inst_f = ~start_curr_inst_arg & wb_ack_i_arg;
			INST_WRITE_IMD  : end_curr_inst_f = ~start_curr_inst_arg & wb_ack_i_arg;
			default         : end_curr_inst_f = 1'b0;
		endcase
	endfunction
function end_curr_inst_f;

		input  [3:0] curr_inst_type_arg;
		input        start_curr_inst_arg;
		input [31:0] wait_count_arg;
		input        wb_ack_i_arg;
		case (curr_inst_type_arg)
			INST_WAIT       : end_curr_inst_f = ((|wait_count_arg) == 1'b0);
			INST_READ       : end_curr_inst_f = ~start_curr_inst_arg & wb_ack_i_arg;
			INST_WRITE_IMD  : end_curr_inst_f = ~start_curr_inst_arg & wb_ack_i_arg;
			default         : end_curr_inst_f = 1'b0;
		endcase
	endfunction