data/full_repos/permissive/427221126/workspace/vector_mult.sv
1: b"%Error: data/full_repos/permissive/427221126/workspace/vector_mult.sv:47: Cannot find file containing module: 'mult_booth'\nmult_booth booth_0\n^~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/427221126/workspace,data/full_repos/permissive/427221126/mult_booth\n             data/full_repos/permissive/427221126/workspace,data/full_repos/permissive/427221126/mult_booth.v\n             data/full_repos/permissive/427221126/workspace,data/full_repos/permissive/427221126/mult_booth.sv\n             mult_booth\n             mult_booth.v\n             mult_booth.sv\n             obj_dir/mult_booth\n             obj_dir/mult_booth.v\n             obj_dir/mult_booth.sv\n%Error: Exiting due to 1 error(s)\n"
module truncated(
    input [31:0] din,
    output [15:0] dout
);
assign dout = din[27:12];
endmodule
module truncated(
    input [31:0] din,
    output [15:0] dout
);

assign dout = din[27:12];
endmodule