data/full_repos/permissive/118800618/MUX8T1_32.v
'utf-8' codec can't decode byte 0xa1 in position 753: invalid start byte
data/verilator_xmls/23def93f-7b3d-4633-8144-9402c4e2df76.xml
module  MUX8T1_32(input [2:0]s,
						input [31:0]I0,
						input [31:0]I1,
						input [31:0]I2,
						input [31:0]I3,
						input [31:0]I4,
						input [31:0]I5,
						input [31:0]I6,
						input [31:0]I7,
						
						output reg[31:0]o
						);

		always@*
			case(s)
				3'b000: o<=I0;
				3'b001: o<=I1;
				3'b010: o<=I2;
				3'b011: o<=I3;
				3'b100: o<=I4;
				3'b101: o<=I5;
				3'b110: o<=I6;
				3'b111: o<=I7;
			endcase
			
endmodule
module  MUX8T1_32(input [2:0]s,
						input [31:0]I0,
						input [31:0]I1,
						input [31:0]I2,
						input [31:0]I3,
						input [31:0]I4,
						input [31:0]I5,
						input [31:0]I6,
						input [31:0]I7,
						
						output reg[31:0]o
						);


		always@*
			case(s)
				3'b000: o<=I0;
				3'b001: o<=I1;
				3'b010: o<=I2;
				3'b011: o<=I3;
				3'b100: o<=I4;
				3'b101: o<=I5;
				3'b110: o<=I6;
				3'b111: o<=I7;
			endcase
			
endmodule