data/full_repos/permissive/468612001/Week05/encoder_4to2/encoder_4to2_case_default.v
data/verilator_xmls/e2c2db3b-afd0-407e-8337-30a6bb42b96f.xml
module encoder_4to2_case_default(i, e);
	input [3:0] i;
	output [1:0] e;
	reg [1:0] e;
	
	always @(*) begin
	casex(i)
	4'b0001: e = 2'b00;
	4'b0010: e = 2'b01;
	4'b0100: e = 2'b10;
	4'b1000: e = 2'b11;
	default: e = 2'bxx;
	endcase
	end
endmodule
module encoder_4to2_case_default(i, e);

	input [3:0] i;
	output [1:0] e;
	reg [1:0] e;
	
	always @(*) begin
	casex(i)
	4'b0001: e = 2'b00;
	4'b0010: e = 2'b01;
	4'b0100: e = 2'b10;
	4'b1000: e = 2'b11;
	default: e = 2'bxx;
	endcase
	end
endmodule