data/full_repos/permissive/116563702/decoder_parameterized/decoder.v
data/verilator_xmls/f1137f33-226e-47b7-b60a-9ee0e2fd3bb4.xml
module decoder #(parameter N=3) 
		(input [N:0] a,
      		 output reg [2**(N+1)-1:0] y);

   always @(*)
     begin
	y    = 0;
	y[a] = 1;
     end

endmodule
module decoder #(parameter N=3) 
		(input [N:0] a,
      		 output reg [2**(N+1)-1:0] y);


   always @(*)
     begin
	y    = 0;
	y[a] = 1;
     end

endmodule