data/full_repos/permissive/509335294/jmpmux.v
data/verilator_xmls/f104f94c-c49d-4381-9927-0bca96e29958.xml
module jmpmux(		input[12:0] brchmux_out,
							input[12:0] instr_line,
							input sel,
							output reg[12:0] jmpmux_out
							);
				
always@(*)begin
	case(sel)
	1'b0 : jmpmux_out <= brchmux_out;
	1'b1 : jmpmux_out <= instr_line;
	endcase
end
				
endmodule
module jmpmux(		input[12:0] brchmux_out,
							input[12:0] instr_line,
							input sel,
							output reg[12:0] jmpmux_out
							);

				
always@(*)begin
	case(sel)
	1'b0 : jmpmux_out <= brchmux_out;
	1'b1 : jmpmux_out <= instr_line;
	endcase
end
				
endmodule