data/full_repos/permissive/14636651/DataPath.v
data/verilator_xmls/cbfe4769-da9c-4cca-87b2-e7d80546db46.xml
module DataPath(input [15:0] instr, output [2:0] opcode, output [15:0] addr);
	assign opcode = instr[15:13];
	assign addr = (instr[12] == 0)? {3'b000,instr[12:0]} : {3'b111,instr[12:0]};
endmodule
module DataPath(input [15:0] instr, output [2:0] opcode, output [15:0] addr);

	assign opcode = instr[15:13];
	assign addr = (instr[12] == 0)? {3'b000,instr[12:0]} : {3'b111,instr[12:0]};
endmodule