data/full_repos/permissive/135008983/code/Self_Test.v
data/verilator_xmls/5bb9416e-04b1-438e-8dac-2175beea3edb.xml
module Self_Test(CPx, test_nRST, inc, GPIO_0, test);
output reg 	CPx, test_nRST;
input 		inc;
input 		test;
input [0:0] GPIO_0;
always @(test)
begin
	case(test)
		1'b0:begin
			CPx <= GPIO_0[0];
			test_nRST <= 1'b0;
		end
		1'b1:begin
			CPx <= inc;
			test_nRST <= 1'b1;
		end
	endcase
end
endmodule
module Self_Test(CPx, test_nRST, inc, GPIO_0, test);

output reg 	CPx, test_nRST;
input 		inc;
input 		test;
input [0:0] GPIO_0;
always @(test)
begin
	case(test)
		1'b0:begin
			CPx <= GPIO_0[0];
			test_nRST <= 1'b0;
		end
		1'b1:begin
			CPx <= inc;
			test_nRST <= 1'b1;
		end
	endcase
end
endmodule