data/full_repos/permissive/509335294/jrmux.v
data/verilator_xmls/b341044f-d99f-4f49-931a-4d2a4379c9aa.xml
module jrmux(	input[12:0] src_jumpmux,
						input[15:0] src_reg_out1,
						input sel,
						output reg[12:0] pc_loopback
						);



			
always@(*)begin
	case(sel)
	1'b0 : pc_loopback <= src_jumpmux;
	1'b1 : pc_loopback <= src_reg_out1[12:0];
	endcase
end
				
endmodule
module jrmux(	input[12:0] src_jumpmux,
						input[15:0] src_reg_out1,
						input sel,
						output reg[12:0] pc_loopback
						);




			
always@(*)begin
	case(sel)
	1'b0 : pc_loopback <= src_jumpmux;
	1'b1 : pc_loopback <= src_reg_out1[12:0];
	endcase
end
				
endmodule