data/full_repos/permissive/499137621/CheckPoint5-main/zero_extension.v
data/verilator_xmls/df8b920f-c6c5-4372-bdc6-d432e1bc01b8.xml
module zero_extension(T, T_32);
	input[26:0] T;
	output [31:0] T_32;
	assign T_32[31:0] = {{5{1'b0}}, T[26:0]};
endmodule
module zero_extension(T, T_32);

	input[26:0] T;
	output [31:0] T_32;
	assign T_32[31:0] = {{5{1'b0}}, T[26:0]};
endmodule