data/full_repos/permissive/458134463/Modules/slt_32bit.v
1: b"%Error: data/full_repos/permissive/458134463/Modules/slt_32bit.v:13: Cannot find file containing module: 'sub_32bit'\nsub_32bit sub32(value1, value2, result, overflow);\n^~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/sub_32bit\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/sub_32bit.v\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/sub_32bit.sv\n             sub_32bit\n             sub_32bit.v\n             sub_32bit.sv\n             obj_dir/sub_32bit\n             obj_dir/sub_32bit.v\n             obj_dir/sub_32bit.sv\n%Error: data/full_repos/permissive/458134463/Modules/slt_32bit.v:18: Cannot find file containing module: 'mux2x1_32bit'\nmux2x1_32bit mux(32'h00000000, 32'hFFFFFFFF, _1bit_slt, slt); \n^~~~~~~~~~~~\n%Error: Exiting due to 2 error(s)\n"
module slt_32bit(value1, value2, slt);

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

output [31:0] slt;

wire _1bit_slt;
wire overflow;
wire [31:0] result;


sub_32bit sub32(value1, value2, result, overflow);

xor xor32(_1bit_slt, overflow, result[31]);


mux2x1_32bit mux(32'h00000000, 32'hFFFFFFFF, _1bit_slt, slt); 


endmodule
module slt_32bit(value1, value2, slt);


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

output [31:0] slt;

wire _1bit_slt;
wire overflow;
wire [31:0] result;


sub_32bit sub32(value1, value2, result, overflow);

xor xor32(_1bit_slt, overflow, result[31]);


mux2x1_32bit mux(32'h00000000, 32'hFFFFFFFF, _1bit_slt, slt); 


endmodule