example0_i-a_t-0.1.v
	end

endcase

========================================================
example1_i-a_t-0.1.v
	end

endcase

========================================================
example2_i-a_t-0.1.v
	end

endcase

========================================================
example3_i-a_t-0.1.v
	end

endcase

========================================================
example4_i-a_t-0.1.v
	end
end


endcase

========================================================
example5_i-a_t-0.1.v
	end
end


endcase

========================================================
example6_i-a_t-0.1.v
	end

endcase

========================================================
example7_i-a_t-0.1.v
	end

endcase

========================================================
example8_i-a_t-0.1.v
	end
end


endcase

========================================================
example9_i-a_t-0.1.v
	end
end


endcase

========================================================
example10_i-a_t-0.1.v
	end

endcase

========================================================
example11_i-a_t-0.1.v
	end

endcase

========================================================
example12_i-a_t-0.1.v
	end

endcase

========================================================
example13_i-a_t-0.1.v
	end

endcase

========================================================
example14_i-a_t-0.1.v
	end

endcase

========================================================
example15_i-a_t-0.1.v
	end
end


endcase

========================================================
example16_i-a_t-0.1.v
	end

endcase

========================================================
example17_i-a_t-0.1.v
	end

endcase

========================================================
example18_i-a_t-0.1.v
	end

endcase

========================================================
example19_i-a_t-0.1.v
	end

endcase

========================================================
example0_i-a_t-0.3.v
	end
end


endcase

========================================================
example1_i-a_t-0.3.v
	end

endcase

========================================================
example2_i-a_t-0.3.v
	end

endcase

========================================================
example3_i-a_t-0.3.v
		end
	end

endcase

========================================================
example4_i-a_t-0.3.v
	end

endcase

========================================================
example5_i-a_t-0.3.v
	end
// BUG:
//	end
// FIX:

endcase

========================================================
example6_i-a_t-0.3.v
	end
	

endcase

========================================================
example7_i-a_t-0.3.v
		end
	end

endcase

========================================================
example8_i-a_t-0.3.v
	end


endcase

========================================================
example9_i-a_t-0.3.v
	end

endcase

========================================================
example10_i-a_t-0.3.v
	end

endcase

========================================================
example11_i-a_t-0.3.v
	end

endcase

========================================================
example12_i-a_t-0.3.v
	end
end


endcase

========================================================
example13_i-a_t-0.3.v
	end

endcase

========================================================
example14_i-a_t-0.3.v
	end

endcase

========================================================
example15_i-a_t-0.3.v
	end

endcase

========================================================
example16_i-a_t-0.3.v
	end

endcase

========================================================
example17_i-a_t-0.3.v
	end
end


endcase

========================================================
example18_i-a_t-0.3.v
	end
end


endcase

========================================================
example19_i-a_t-0.3.v
	end

endcase

========================================================
example0_i-a_t-0.5.v
		end
	end

endcase

========================================================
example1_i-a_t-0.5.v
	end

endcase

========================================================
example2_i-a_t-0.5.v
		end
// BUG:
//	end
// FIX:
end


endcase

========================================================
example3_i-a_t-0.5.v
	end
end

endcase

========================================================
example4_i-a_t-0.5.v
	end
end

endcase

========================================================
example5_i-a_t-0.5.v
		end
	end

endcase

========================================================
example6_i-a_t-0.5.v
	end
// BUG:
//	end
// FIX:
end


endcase

========================================================
example7_i-a_t-0.5.v
	end
end


endcase

========================================================
example8_i-a_t-0.5.v
	end

endcase

========================================================
example9_i-a_t-0.5.v
	end

endcase

========================================================
example10_i-a_t-0.5.v
		end
	end

endcase

========================================================
example11_i-a_t-0.5.v
	end
end

// BUG:
// always @(posedge clk)
// begin
// 	if(reset)
// 	begin
// 		Out_data_final <= 0;
// 		ct_valid_out <= 0;
// 	end
// 	else
// 	begin
// 		Out_data_final <= Out_data;
// 		ct_valid_out <= ct_valid;
// 	end
// end
// FIX:
endcase

========================================================
example12_i-a_t-0.5.v
	end // case


endcase

========================================================
example13_i-a_t-0.5.v
	end
end


endcase

========================================================
example14_i-a_t-0.5.v
	end
	
endcase

========================================================
example15_i-a_t-0.5.v
	end

endcase

========================================================
example16_i-a_t-0.5.v
	end
	

endcase

========================================================
example17_i-a_t-0.5.v
	end
end


endcase

========================================================
example18_i-a_t-0.5.v
	end

endcase

========================================================
example19_i-a_t-0.5.v
	end 

endcase

========================================================
example0_i-a_t-0.7.v
	end // case(state)
end //always @(*)


endcase

========================================================
example1_i-a_t-0.7.v
end

endcase

========================================================
example2_i-a_t-0.7.v
  end
end

endcase

========================================================
example3_i-a_t-0.7.v
	
endcase

========================================================
example4_i-a_t-0.7.v
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	end
	
endcase

========================================================
example5_i-a_t-0.7.v
		default:
			state <= s0;
// FIX:
//	
endcase

========================================================
example6_i-a_t-0.7.v
	end
end


endcase

========================================================
example7_i-a_t-0.7.v
		end
	end

endcase

========================================================
example8_i-a_t-0.7.v
	end



endcase

========================================================
example9_i-a_t-0.7.v
 
endcase

========================================================
example10_i-a_t-0.7.v
		end
// BUG:
//	end
// FIX:
end

endcase

========================================================
example11_i-a_t-0.7.v
	end
	
endcase

========================================================
example12_i-a_t-0.7.v
	end
end

endcase

========================================================
example13_i-a_t-0.7.v
	end
// BUG:
//	end
// FIX:
end

endcase

========================================================
example14_i-a_t-0.7.v
	
endcase

========================================================
example15_i-a_t-0.7.v
	end
end


endcase

========================================================
example16_i-a_t-0.7.v
	end

endcase

========================================================
example17_i-a_t-0.7.v
		end // end case
	end // end else
end // end always

endcase

========================================================
example18_i-a_t-0.7.v
	end
end

always @(posedge clk) begin
	if(reset) begin
			Out_data_final <= 0;
			ct_valid_out <= 1'b0;
	end else begin
			Out_data_final <= Out_data_final_internal;
			ct_valid_out <= ct_valid_out_internal;
	end
end


endcase

========================================================
example19_i-a_t-0.7.v
		end
	end

endcase

========================================================
example0_i-a_t-0.9.v
//		end
	end else begin
			// flush
			Out_data_final <= 0;
			ct_valid_out <= 1'b0;
			dii_data_vld <= 1'b0;
			if(ct_valid == 0) 
					state <= s0;
	end
end


endcase

========================================================
example1_i-a_t-0.9.v
	
endcase

========================================================
example2_i-a_t-0.9.v
		disable
	end

endcase

========================================================
example3_i-a_t-0.9.v
	end // CASE
     
// BUG:
//	always @(dii_valid) begin
//		if(dii_valid == 1) begin
//			pre_dii_valid <= dii_valid;
//		end else begin
//			pre_dii_valid <= pre_dii_valid;
//		end
//	end
// FIX: 
	always @(dii_valid or pre_dii_valid) begin
		if(dii_valid == 1) begin
			pre_dii_valid <= dii_valid;
		end else begin
			pre_dii_valid <= pre_dii_valid;
		end
	end
	
/*
	always @(dii_data_not_ready) begin
		if( dii_
endcase

end

========================================================
example4_i-a_t-0.9.v
		default: ;
// END:
	
endcase

========================================================
example5_i-a_t-0.9.v
            end
	end

endcase

========================================================
example6_i-a_t-0.9.v
	end


endcase

========================================================
example7_i-a_t-0.9.v
		default:
			state <= s0;
// FIX
	
endcase

========================================================
example8_i-a_t-0.9.v
        end
    end

endcase

========================================================
example9_i-a_t-0.9.v
	end
	always @(posedge clk) begin
		if(reset) begin
			dii_data_vld  <= 1'b0;
			dii_data_size <= (4-1){1'b0};
			dii_data      <= (128-1){1'b0};
			dii_data_type <= 1'b0;
			dii_last_word <= 1'b0;
			ct_valid_out  <= 1'b0;
		end
		else begin
			dii_data_vld  <= dii_data_vld_reg;
			dii_data_size <= dii_data_size_reg;
			dii_data      <= dii_data_reg;
	
endcase

end

========================================================
example10_i-a_t-0.9.v
	end
// END BUG


endcase

========================================================
example11_i-a_t-0.9.v
//original code
	end //case
//fixed code 
    end

endcase

========================================================
example12_i-a_t-0.9.v
end


endcase

========================================================
example13_i-a_t-0.9.v
		s0: begin
			s0_pc <= PC;
			dii_data_vld  <= 1'b0;
			ct_valid_out  <= 1'b0;
			if(ct_valid == 1) begin
					state <= s1;
			end else begin
					state <= s0;
			end
		end
	
endcase

========================================================
example14_i-a_t-0.9.v
	
endcase

========================================================
example15_i-a_t-0.9.v
	end
// BUG:
//	endfunction
// FIX:
 endfunction


endcase

========================================================
example16_i-a_t-0.9.v

endcase

========================================================
example17_i-a_t-0.9.v
	end
// BUG:
//endfunction
// FIX:

endcase

========================================================
example18_i-a_t-0.9.v
	end

endcase

========================================================
example19_i-a_t-0.9.v
	end
//

endcase

========================================================
example0_i-b_t-0.1.v
	end

endcase

========================================================
example1_i-b_t-0.1.v
	end

endcase

========================================================
example2_i-b_t-0.1.v
	end

endcase

========================================================
example3_i-b_t-0.1.v
	end

endcase

========================================================
example4_i-b_t-0.1.v
	end

endcase

========================================================
example5_i-b_t-0.1.v
	end

endcase

========================================================
example6_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-b_t-0.1.v
	end

endcase

========================================================
example9_i-b_t-0.1.v
	end

endcase

========================================================
example10_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-b_t-0.1.v
	end

endcase

========================================================
example12_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example13_i-b_t-0.1.v
	end

endcase

========================================================
example14_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-b_t-0.1.v
	end

endcase

========================================================
example16_i-b_t-0.1.v
	end

endcase

========================================================
example17_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-b_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-b_t-0.3.v
	end

endcase

========================================================
example1_i-b_t-0.3.v
	end
end


endcase

========================================================
example2_i-b_t-0.3.v
	end

endcase

========================================================
example3_i-b_t-0.3.v
	end

endcase

========================================================
example4_i-b_t-0.3.v
		end
	end

endcase

========================================================
example5_i-b_t-0.3.v
	end

endcase

========================================================
example6_i-b_t-0.3.v
		end
	end

endcase

========================================================
example7_i-b_t-0.3.v
	end
end


endcase

========================================================
example8_i-b_t-0.3.v
		end
	end

endcase

========================================================
example9_i-b_t-0.3.v
		end
	end

endcase

========================================================
example10_i-b_t-0.3.v
	
endcase

========================================================
example11_i-b_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-b_t-0.3.v
		end
	end

endcase

========================================================
example13_i-b_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-b_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-b_t-0.3.v
		end
	end

endcase

========================================================
example16_i-b_t-0.3.v
	end

endcase

========================================================
example17_i-b_t-0.3.v
	end
	

endcase

========================================================
example18_i-b_t-0.3.v
		end
	end

endcase

========================================================
example19_i-b_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-b_t-0.5.v
		default:
			state <= s0;
	
endcase

========================================================
example1_i-b_t-0.5.v
	end

endcase

========================================================
example2_i-b_t-0.5.v
		default: state <= s0;
	
endcase

========================================================
example3_i-b_t-0.5.v
		end
	end
	
// BUG: Incomplete always block
//	always @(posedge clk) begin
// FIX:
	always @(posedge clk) begin
		if(rst == 1) begin
			state <= s0;
		end else begin
			case(state)
				s0: begin
					ct_valid_out <= 1'b0;
				end
				s1: begin
					ct_valid_out <= 1'b0;
				end
				s2: begin
					ct_valid_out <= 1'b0;
				end
				s3: begin
					ct_valid_out <= 1'b0
endcase

end

========================================================
example4_i-b_t-0.5.v
		end
	end

endcase

========================================================
example5_i-b_t-0.5.v
	end
	

endcase

========================================================
example6_i-b_t-0.5.v
	end



endcase

========================================================
example7_i-b_t-0.5.v
	end

endcase

========================================================
example8_i-b_t-0.5.v
	end
// END BUG

endcase

========================================================
example9_i-b_t-0.5.v
	end

endcase

========================================================
example10_i-b_t-0.5.v
	end

endcase

========================================================
example11_i-b_t-0.5.v
	end
	

endcase

========================================================
example12_i-b_t-0.5.v
	end

endcase

========================================================
example13_i-b_t-0.5.v
		end
	end

endcase

========================================================
example14_i-b_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-b_t-0.5.v
//	end
end


endcase

========================================================
example16_i-b_t-0.5.v
	end

endcase

========================================================
example17_i-b_t-0.5.v
	end

endcase

========================================================
example18_i-b_t-0.5.v
	end
end


endcase

========================================================
example19_i-b_t-0.5.v
	end

endcase

========================================================
example0_i-b_t-0.7.v
		default: begin
			dii_data_vld <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example1_i-b_t-0.7.v
	end
// BUG: Unmatched begin.
//	end
// FIX:

endcase

========================================================
example2_i-b_t-0.7.v
		default: state <= s0;
// BUG: End of statement missing
//	end
// FIX:
	end
end

// BUG: End of statement missing
// 
endcase

========================================================
example3_i-b_t-0.7.v
	end
end


endcase

========================================================
example4_i-b_t-0.7.v
	end
// BUG: Missing 
endcase

========================================================
example5_i-b_t-0.7.v
		s16: begin
			state <= s0;
		end

	
endcase

========================================================
example6_i-b_t-0.7.v
		default:
			state <= s0;
		
endcase

========================================================
example7_i-b_t-0.7.v
		default: begin
			ct_valid_out <= 1'b0;
			Out_data_final <= {14'h0, ct_pc[47:32]};
			state <= s0;
		end
	
endcase

========================================================
example8_i-b_t-0.7.v
	end
end

always@(*)
begin
	if(ct_valid) begin
		Out_data <= {
		{(64-16){1'b0}}, 
		{(16){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0}},
		{(8){1'b0
endcase

========================================================
example9_i-b_t-0.7.v
	end

endcase

========================================================
example10_i-b_t-0.7.v
	end
//
		default: state <= s0;
	
endcase

========================================================
example11_i-b_t-0.7.v
	end

endcase

========================================================
example12_i-b_t-0.7.v

endcase

========================================================
example13_i-b_t-0.7.v
	end // case(state)

endcase

========================================================
example14_i-b_t-0.7.v
	end
// END OF FIX
end


endcase

========================================================
example15_i-b_t-0.7.v
		end
	end

endcase

========================================================
example16_i-b_t-0.7.v
 Finite State Machine to send data to RI-DII

		s0: begin  idle state
			state <= s1;
			ct_valid_out <= 0;
		end

		s1: begin
			 sending CT
			dii_data_vld  <= 1'b1;
			dii_data_size <= 4'd15;
			dii_data      <= input_ct;
			dii_data_type <= 1'b1;
			dii_last_word <= 1'b0;
			state <= s2;
		end

		s2: begin
			dii_data_vld  <= 1'b0
endcase

========================================================
example17_i-b_t-0.7.v
		default: begin
			dii_cmd           <= 4'b1111;
			dii_data_vld      <= 1'b0;
			dii_data_size     <= 4'd0;
			dii_data          <= 128'b0;
			dii_data_type     <= 1'b0;
			dii_last_word     <= 1'b0;
			Out_data_final    <= Out_data;
			ct_valid_out      <= 1'b1;

			state <= s0;
		end
	
endcase

========================================================
example18_i-b_t-0.7.v
		default: begin
			dii_data_vld <= 1'b0;
		end
	
endcase

========================================================
example19_i-b_t-0.7.v

endcase

========================================================
example0_i-b_t-0.9.v
		default : begin
			dii_rdy <= 1'b0;
			state <= s0;
		end // default
	
	
endcase

end

========================================================
example1_i-b_t-0.9.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-b_t-0.9.v
	end

endcase

========================================================
example3_i-b_t-0.9.v
//	end
end
		


// calculating the offset for the structure
function [14:0] getAddr; // 14 bit word that gives address of field in structure
	input  [11:0] LFE; // Local Field Identifier, 12 bit number
	input  [2:0] BE; // Bit Extension along with LFE gives the location in words of the field
	
	begin
		case (LFE)
			12'd0: getAddr = 12'd0 + BE; //type
			12'd1: getAddr = 12'd1 + BE; //thread_id
			12'd2: getAddr = 12'd2 + BE; //input_pc
			12'd3: getAddr = 12'd12 + BE; //output_data & output_pc
		
endcase

========================================================
example4_i-b_t-0.9.v
	always @* begin
		case(state)
		default: begin
			state <= s0;
		end
		
endcase

end

========================================================
example5_i-b_t-0.9.v
	end

endcase

========================================================
example6_i-b_t-0.9.v

	
endcase

========================================================
example7_i-b_t-0.9.v
	end
// END FIX

endcase

========================================================
example8_i-b_t-0.9.v

endcase

========================================================
example9_i-b_t-0.9.v
//	end


endcase

========================================================
example10_i-b_t-0.9.v
	end
	`
}
// DII_nbit_fixed_size_io_to_fixed_size_io module's diagram
//
//		+---------------------------+		+---------------------------+
//	din <----DII_16bit_fixed--|		|<----DII_16bit_fixed--|		
//	din_vld_out -->				|		|						|	
//	din_size_out -->			|		|						|	
//	din_eof_out -->			    +------|--+					+--|--+
//												|					|					
//	dout_vld <--				|		|
endcase

========================================================
example11_i-b_t-0.9.v
	default: begin
		state <= s0;
	end	
 
endcase

========================================================
example12_i-b_t-0.9.v
		s13: begin
			dii_data_vld  <= 1'b0;
			state <= s3;
		end
	
endcase

========================================================
example13_i-b_t-0.9.v
		default:
			state <= s0;
		
endcase

========================================================
example14_i-b_t-0.9.v
	end
end

endcase

========================================================
example15_i-b_t-0.9.v
end
end

endcase

========================================================
example16_i-b_t-0.9.v
		default : s0;

	
endcase

========================================================
example17_i-b_t-0.9.v
		default: begin
			state <= s0;
		end
// END FIX
	
endcase

========================================================
example18_i-b_t-0.9.v
		default: begin
			Out_data_final <= Out_data;
			ct_valid_out <= 1'b1;
			state <= s0;
		end
	
endcase

========================================================
example19_i-b_t-0.9.v
	end

// BUG: Weird Verilog
//	assign data_out = state;
// FIX:
	assign state_out = state;
	assign ct_valid_out = ct_valid_out;	
	



endcase

========================================================
example0_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example6_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example9_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example10_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example13_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example17_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-c_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-c_t-0.3.v
	
endcase

========================================================
example2_i-c_t-0.3.v
	
endcase

========================================================
example3_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example6_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example9_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example10_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example13_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example17_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-c_t-0.3.v
		default: begin
			dii_data_vld  <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example19_i-c_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-c_t-0.5.v
		default: begin
			// do nothing
		end
	
endcase

========================================================
example5_i-c_t-0.5.v
		default: begin
			dii_data_vld  <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example6_i-c_t-0.5.v
//	default: begin
//		state <= s0;
//	end
	
endcase

========================================================
example7_i-c_t-0.5.v
	
endcase

========================================================
example8_i-c_t-0.5.v
//	default: begin
//		state <= s0;
//	end
// END FIX
end

endcase

========================================================
example9_i-c_t-0.5.v
	
endcase

========================================================
example10_i-c_t-0.5.v
//	default: begin
//			// do nothing
//	end
		s13: begin
			state <= s13;
		end
		s16: begin
			state <= s16;
		end
		s17: begin
			state <= s17;
		end
	
endcase

========================================================
example11_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-c_t-0.5.v
		default: begin
			dii_data_vld  <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example13_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-c_t-0.5.v
	default: begin
		state <= s0;
	end
	
endcase

========================================================
example17_i-c_t-0.5.v
		default: begin
				dii_data_vld  <= 1'b0;
				dii_data_type <= 1'b0;
				dii_last_word <= 1'b0;
				state <= s0;
		end
	
endcase

========================================================
example18_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-c_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-c_t-0.7.v
		default: begin
			state <= s0;
		end
		
endcase

========================================================
example1_i-c_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-c_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-c_t-0.7.v
		default:
		begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-c_t-0.7.v
	
endcase

========================================================
example5_i-c_t-0.7.v
		default:begin
			state<=s0;
		end
	
endcase

========================================================
example6_i-c_t-0.7.v
default: begin
state <=s0;
end

endcase

========================================================
example7_i-c_t-0.7.v
	default: begin
		state <= s0;
	end
	
endcase

========================================================
example8_i-c_t-0.7.v
	
endcase

========================================================
example9_i-c_t-0.7.v
default:
		state <= s0;
		break;
	
endcase

========================================================
example10_i-c_t-0.7.v
//	default: begin
//			state <= s0;
//	end
		
	
endcase

========================================================
example11_i-c_t-0.7.v
	
endcase

========================================================
example12_i-c_t-0.7.v
default: begin
			state <= s0;
		end
		
	
endcase

========================================================
example13_i-c_t-0.7.v
		default: begin
			// do nothing
		end
	
endcase

========================================================
example14_i-c_t-0.7.v
		default: begin
			state <= s0;
		end
		
	
endcase

========================================================
example15_i-c_t-0.7.v
		default: begin
					state <= s1;
		end
		
	
endcase

========================================================
example16_i-c_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example17_i-c_t-0.7.v
//	default: begin
//		state <= s0;
//	end
// There is already a default case for state, so no need for this extra case statement
		
endcase

========================================================
example18_i-c_t-0.7.v
		default: begin
			dii_data_vld  <= 1'b0;
			state <= s0;
		end	
	
endcase

========================================================
example19_i-c_t-0.7.v
		default:
			state <= s0;
			break;
	
endcase

========================================================
example0_i-c_t-0.9.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-c_t-0.9.v
		default: begin
			state <= s0;
		end
// !---------------------
//

	
endcase

========================================================
example2_i-c_t-0.9.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-c_t-0.9.v
            default: state <= s0;
        
endcase

========================================================
example4_i-c_t-0.9.v
	
endcase

========================================================
example5_i-c_t-0.9.v
	
endcase

========================================================
example6_i-c_t-0.9.v
		default: begin 
					state <= s0;
					dii_doe <= 1'b0;
					dii_data_vld <= 1'b0;
				end

	
endcase

========================================================
example7_i-c_t-0.9.v
		default: begin
			state <= state;
		end
	
endcase

========================================================
example8_i-c_t-0.9.v
	
endcase

========================================================
example9_i-c_t-0.9.v
		default: begin
			dii_data_vld <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example10_i-c_t-0.9.v
	
endcase

========================================================
example11_i-c_t-0.9.v
#ifdef VCS
		default: ;
#endif
	
endcase

========================================================
example12_i-c_t-0.9.v
	
endcase

========================================================
example13_i-c_t-0.9.v
		// default case
		default: begin
			dii_data_vld  <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example14_i-c_t-0.9.v
	
endcase

========================================================
example15_i-c_t-0.9.v
//	default: begin
//		// default stuff goes here!
//	end
// END FIX
	
endcase

========================================================
example16_i-c_t-0.9.v
		default: begin
 				state <= s0;
		end
//		
endcase

========================================================
example17_i-c_t-0.9.v
 	default: begin
 	end		
 
endcase

========================================================
example18_i-c_t-0.9.v
		default: begin
			if (Signal__pc_in) begin
				Out_data_final <= Out_data;
			else if (Signal__data1_in) begin
				Out_data_final <= Out_data;
			else if (Signal__data2_in) begin
				Out_data_final <= Out_data;
			else if (Signal__data3_in) begin
				Out_data_final <= Out_data;
			end
			end
			end
			end
		end
// BUG: Missing End
//	end
// FIX:
	end

endcase

========================================================
example19_i-c_t-0.9.v
		default: begin
			ct_valid_out <= 1'b0;
			dii_data_vld  <= 1'b0;
		end // FIX:
	
endcase

end

========================================================
example0_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example6_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example9_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example10_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example13_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example17_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-d_t-0.1.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example6_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example9_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example10_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example12_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example13_i-d_t-0.3.v
	
endcase

========================================================
example14_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example17_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-d_t-0.3.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example1_i-d_t-0.5.v
		default: state <= s0;
	
endcase

========================================================
example2_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example4_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example6_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-d_t-0.5.v
//	default: begin
//		state <= s0;
//	end
	end

endcase

========================================================
example8_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example9_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example10_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example11_i-d_t-0.5.v
		default: begin
			ct_valid_out <= 1'b0;
			state <= s0;
		end

	
endcase

========================================================
example12_i-d_t-0.5.v
	
endcase

========================================================
example13_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example15_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example16_i-d_t-0.5.v
	
endcase

========================================================
example17_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example18_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example19_i-d_t-0.5.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example0_i-d_t-0.7.v
		default:
			s0;
		
endcase

========================================================
example1_i-d_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example2_i-d_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example3_i-d_t-0.7.v
		default: begin

			state <= s0;
		end
	
endcase

========================================================
example4_i-d_t-0.7.v
	default:
		state = s0;
	
endcase

========================================================
example5_i-d_t-0.7.v
	
endcase

========================================================
example6_i-d_t-0.7.v
		default: begin
			state <= s0;
		end
// BUG: Missing 
endcase

========================================================
example7_i-d_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example8_i-d_t-0.7.v
	default: begin
		state <= s0;
	end
	
endcase

========================================================
example9_i-d_t-0.7.v
		default:
			state <= s0;
	
endcase

========================================================
example10_i-d_t-0.7.v
		default: state <= s0;
	
endcase

========================================================
example11_i-d_t-0.7.v
	
endcase

========================================================
example12_i-d_t-0.7.v
//	default: begin
			
//	end
// BUG: end of module
// FIX:
	end

endcase

========================================================
example13_i-d_t-0.7.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example14_i-d_t-0.7.v
		default: begin
		    ct_valid_out <= 1'b0;
			dii_data_vld  <= 1'b0;
			state = s0;
		end
	
endcase

========================================================
example15_i-d_t-0.7.v
//	default: begin
//		state <= s0;
//	end

// BUG: If a case statement does not end with 
endcase

========================================================
example16_i-d_t-0.7.v
	default: begin
		state <= s0;
	end
// BUG:
//	
endcase

========================================================
example17_i-d_t-0.7.v
		default:
			state <= s0;
	
endcase

========================================================
example18_i-d_t-0.7.v
		default: begin
				state <= s0;
		end
// BUG: State transition is missing
//      Add a transition to the next state
// FIX:
	
endcase

========================================================
example19_i-d_t-0.7.v
		default: state <= s0;
	
endcase

========================================================
example0_i-d_t-0.9.v

		default: begin 
			state <= s0;
		end
		
	
endcase

========================================================
example1_i-d_t-0.9.v
//	default: s0;
// BUG: Assign initial state to `state`
//	dii_data_vld  <= 1'b0;
// FIX:
		default: state <= s0;
	
endcase

========================================================
example2_i-d_t-0.9.v
		default: s0;

		


	
endcase

========================================================
example3_i-d_t-0.9.v
		default: s0;
	
endcase

========================================================
example4_i-d_t-0.9.v
		default: begin
			state <= s0;
		end
	
endcase

========================================================
example5_i-d_t-0.9.v
  default:
	    state <= s0;
  
endcase

========================================================
example6_i-d_t-0.9.v
		default:begin
			state <= s0;
		end
	
endcase

========================================================
example7_i-d_t-0.9.v
        default: begin
			state <= s3;
        end
	
endcase

========================================================
example8_i-d_t-0.9.v
		default: begin
		state<= s0;
		end
	
endcase

========================================================
example9_i-d_t-0.9.v
		default: state <= s0; // default state
	
endcase

========================================================
example10_i-d_t-0.9.v
        default:
	    	begin state <= s0; 
		dii_data_vld  <= 1'b0;
		end
	
endcase

========================================================
example11_i-d_t-0.9.v
		default: s0;

	
endcase

========================================================
example12_i-d_t-0.9.v
		default : begin
			dii_data_vld <= 1'b0;
			state <= s0;
		end
	
endcase

========================================================
example13_i-d_t-0.9.v
default: begin state <= s0; end

endcase

========================================================
example14_i-d_t-0.9.v
		default: begin // default state
			state <= s0;
		end 
		
	
endcase

========================================================
example15_i-d_t-0.9.v
//		default: begin
//			state <= s0;
	
endcase

========================================================
example16_i-d_t-0.9.v
        default: state <= s0;
    
endcase

========================================================
example17_i-d_t-0.9.v
	
endcase

========================================================
example18_i-d_t-0.9.v
		default: begin
			state <= s0;		// init state
		end
	
endcase

========================================================
example19_i-d_t-0.9.v
        default: begin
		Out_data_final <= 128'b0;
		state <= s0;
		ct_valid_out <= 1'b0;
        end
    
endcase

========================================================
example0_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example1_i-e_t-0.1.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example2_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example3_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example4_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example5_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example6_i-e_t-0.1.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example7_i-e_t-0.1.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example8_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example9_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example10_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example11_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example12_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example13_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example14_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example15_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example16_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example17_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example18_i-e_t-0.1.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example19_i-e_t-0.1.v
end
// BUG:
//
endcase

========================================================
example0_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example1_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example2_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example3_i-e_t-0.3.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example4_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example5_i-e_t-0.3.v
end
// BUG:
//end
// FIX:

endcase

========================================================
example6_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example7_i-e_t-0.3.v
    end
// BUG:
//	end
// FIX:

endcase

========================================================
example8_i-e_t-0.3.v
end
// BUG:
//end
// FIX:

endcase

========================================================
example9_i-e_t-0.3.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example10_i-e_t-0.3.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example11_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example12_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example13_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example14_i-e_t-0.3.v
    end
// BUG:
// end
// FIX:

endcase

========================================================
example15_i-e_t-0.3.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example16_i-e_t-0.3.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example17_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example18_i-e_t-0.3.v
end
// BUG:
//
endcase

========================================================
example19_i-e_t-0.3.v
    end
// BUG:
//	end
// FIX:

endcase

========================================================
example0_i-e_t-0.5.v
    end
// BUG:
//	end
// FIX:

endcase

========================================================
example1_i-e_t-0.5.v
end
// BUG:
//
endcase

========================================================
example2_i-e_t-0.5.v
    end
// BUG:
// end
// FIX:

endcase

========================================================
example3_i-e_t-0.5.v
end

// BUG: Missing 
endcase

========================================================
example4_i-e_t-0.5.v
	end

endcase

========================================================
example5_i-e_t-0.5.v
end
// BUG:
//
endcase

========================================================
example6_i-e_t-0.5.v
end

endcase

========================================================
example7_i-e_t-0.5.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example8_i-e_t-0.5.v
end
// BUG:
//
endcase

========================================================
example9_i-e_t-0.5.v
    end
// BUG:
//
endcase

========================================================
example10_i-e_t-0.5.v
end
// BUG: Missing 
endcase

========================================================
example11_i-e_t-0.5.v
end
// BUG:
//end
// FIX:

endcase

========================================================
example12_i-e_t-0.5.v
//	end
// BUG:
//end
// FIX:
end


endcase

========================================================
example13_i-e_t-0.5.v
end

endcase

========================================================
example14_i-e_t-0.5.v
end
// BUG: End of module is missing
// FIX:

endcase

========================================================
example15_i-e_t-0.5.v
end
// BUG:
//end
// FIX:


endcase

========================================================
example16_i-e_t-0.5.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example17_i-e_t-0.5.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example18_i-e_t-0.5.v
end


endcase

========================================================
example19_i-e_t-0.5.v
end
// BUG:
//
endcase

========================================================
example0_i-e_t-0.7.v
    end
// BUG: Extra "end" keyword
// 
endcase

========================================================
example1_i-e_t-0.7.v


end


endcase

========================================================
example2_i-e_t-0.7.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example3_i-e_t-0.7.v
//  end
	end
`

class testbench {
	
	constructor(g_master, 
endcase

========================================================
example4_i-e_t-0.7.v
end
// BUG: Incomplete always block
// end
// FIX:

endcase

========================================================
example5_i-e_t-0.7.v
    end
// BUG:
// end
// FIX:

endcase

========================================================
example6_i-e_t-0.7.v
end
// BUG: 
// always @* begin
//	case(state)
// FIX:
end
// BUG:
// 
endcase

========================================================
example7_i-e_t-0.7.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example8_i-e_t-0.7.v
end

// BUG: Unmatched 
endcase

========================================================
example9_i-e_t-0.7.v
end

endcase

========================================================
example10_i-e_t-0.7.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example11_i-e_t-0.7.v
	end
// BUG: 
// end
// FIX:

endcase

========================================================
example12_i-e_t-0.7.v
	end

endcase

========================================================
example13_i-e_t-0.7.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example14_i-e_t-0.7.v
end
// BUG: Incomplete case statement
// 
endcase

========================================================
example15_i-e_t-0.7.v
end


endcase

========================================================
example16_i-e_t-0.7.v
// end
end


endcase

========================================================
example17_i-e_t-0.7.v
end
// BUG:
// end
// FIX:

endcase

========================================================
example18_i-e_t-0.7.v
end
	
// BUG: Missing 
endcase

========================================================
example19_i-e_t-0.7.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example0_i-e_t-0.9.v
    end
    */
/* end */
}

//use of the module
module test_module; 
	reg clk, rstn;
	reg my_input_m; 
	reg [31:0] ct;
	reg [31:0] pc_m;
    wire [31:0] output_m;
    wire ct_valid_out_m;
	
	mono core_instance(
		 .clk(clk),
		 .rstn(rstn),
		 .input(my_input_m),
		 .ct(ct),
		 .pc(pc_m),
		 .output(output_m),
		 .ct_valid_out(ct_valid_out_m)
	); 
	
	initial begin
		clk <= 1
endcase

========================================================
example1_i-e_t-0.9.v
    end
    else begin
        Out_data_final <= 0;
        ct_valid_out <= 0;
    end

end
```

```
/$project/rtl/dii/dii_tb.sv:63
			end else begin
					state <= s10;
			end

/$project/rtl/dii/dii_tb.sv:93
			end else begin
					state <= s0;
			end

/$project/rtl/dii/dii_tb.sv:119
			end else begin
					state <= s11;
			end

/$project/rtl/dii/dii_tb.sv:153
			end else begin
			
endcase

========================================================
example2_i-e_t-0.9.v
end

defparam
	worker_width = 8,
	worker_num = 1,
	input_msgs = 160,
	output_m
endcase

========================================================
example3_i-e_t-0.9.v
end
//	clk		  rst				control			     out_data				Out_data_final				ct_valid
//	0			0					0						0								0							0			
//	1			0					0						0								0							0
//	0			0					0						0								0							0			
//	1			0					0						0								0							0
//
endcase

========================================================
example4_i-e_t-0.9.v
    end
	

endcase

========================================================
example5_i-e_t-0.9.v
end
// BUG:
//	end // always
// FIX:
end

endcase

========================================================
example6_i-e_t-0.9.v
	end


// BUG: Incomplete always block
// always @(posedge CLK)
// FIX:
end


// BUG: Module for output is incomplete
// module Output( 
// FIX:
module Output( 
				input wire [63:0]	cipher_data,
				input wire			decrypt_done,
				input wire [63:0]	decrypted_data,
				output reg			output_done
			);
			
// BUG: Incomplete assign statement
// assign out_dat = ;
// FIX:
// FIX: No register for output
assign output_done = decrypt_done;
//assign out_dat = decrypted_data;
reg [63:0] out_dat;
//endassign	
//
endcase

========================================================
example7_i-e_t-0.9.v
end

endcase

========================================================
example8_i-e_t-0.9.v
end
// BUG:
//
endcase

========================================================
example9_i-e_t-0.9.v
end

endcase

========================================================
example10_i-e_t-0.9.v
end
else
begin
	state <= s0;
end
// BUG:
//
endcase

========================================================
example11_i-e_t-0.9.v
end

''')

alu_testbench = Verilog_VCD()
alu_testbench.myPrint('''module alu_testbench;
reg alu_op, in1, in2, rs1_data, rs2_data, pc_valid, encoded_instr, ct_valid;
wire flag_out, out, pc_out;


alu ALU(
	.alu_op(alu_op),
	.in1(in1), 
	.in2(in2), 
	.out(out),
	.flag_out(flag_out),
	.rs1_data(rs1_data),
	.rs2_data(rs2_data),
	.pc_out(pc_out),
	.pc_valid(pc_valid),
	.encoded
endcase

========================================================
example12_i-e_t-0.9.v
//  end

endcase

========================================================
example13_i-e_t-0.9.v
end


endcase

========================================================
example14_i-e_t-0.9.v
    end


endcase

========================================================
example15_i-e_t-0.9.v
end
// END OF BUG
always @(posedge CLK) begin
    if(RST) begin
        ct_valid <= 1'b0;
		ct_valid_out <= 1'b0; 
        Out_data <= 128'b0;;
        time_out <= 0;
		input_pc_vld <= 0;
		input_pc_size <= 0;
		input_pc <= 128'b0;
		bad_inst_vld <= 0;
    end else begin
        if(ct_valid_out == 1'b1)
            ct_valid <= 1'b0;

        if(state == s15 && ct_valid==1'b1) begin
            ct_valid <= 1'b0;
			ct_valid_out <= 1'b0;
           
endcase

end

end

========================================================
example16_i-e_t-0.9.v

endcase

========================================================
example17_i-e_t-0.9.v
end
// BUG:
//	end
// FIX:

endcase

========================================================
example18_i-e_t-0.9.v


endcase

========================================================
example19_i-e_t-0.9.v
end
// BUG: Should be
// always@* begin
// not
// always@( *) begin
always@* begin
// FIX:
// BUG:
//		state_out <= state;
// FIX:
		state_reg <= state;
// FIX:
// BUG:
//		Out_data_final <= Out_data;
// FIX:
		data_w <= Out_data;
		dii_ready <= 1'b1;
		nop = ~nop;
end

endcase

========================================================
