data/full_repos/permissive/458134463/Modules/sub_32bit.v
1: b"%Error: data/full_repos/permissive/458134463/Modules/sub_32bit.v:13: Cannot find file containing module: 'not_32bit'\nnot_32bit not32(value2, inverse_value2);\n^~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/not_32bit\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/not_32bit.v\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/not_32bit.sv\n             not_32bit\n             not_32bit.v\n             not_32bit.sv\n             obj_dir/not_32bit\n             obj_dir/not_32bit.v\n             obj_dir/not_32bit.sv\n%Error: data/full_repos/permissive/458134463/Modules/sub_32bit.v:16: Cannot find file containing module: 'adder_32bit'\nadder_32bit add32(value1, inverse_value2, result, temp_carry_out, 1'b1, overflow);\n^~~~~~~~~~~\n%Error: Exiting due to 2 error(s)\n"
module sub_32bit(value1, value2, result, overflow);

input [31:0] value1;
input [31:0] value2;

output [31:0] result;
output overflow;

wire [31:0] inverse_value2;
wire temp_carry_out;


not_32bit not32(value2, inverse_value2);


adder_32bit add32(value1, inverse_value2, result, temp_carry_out, 1'b1, overflow);

endmodule
module sub_32bit(value1, value2, result, overflow);


input [31:0] value1;
input [31:0] value2;

output [31:0] result;
output overflow;

wire [31:0] inverse_value2;
wire temp_carry_out;


not_32bit not32(value2, inverse_value2);


adder_32bit add32(value1, inverse_value2, result, temp_carry_out, 1'b1, overflow);

endmodule