data/full_repos/permissive/441359809/src/yosys/tests/asicworld/code_hdl_models_full_subtracter_gates.v
1: b"%Error: data/full_repos/permissive/441359809/src/yosys/tests/asicworld/code_hdl_models_full_subtracter_gates.v:18: Can't find definition of variable: 'borrows'\n                                                                                                                 : ... Suggested alternative: 'borrow'\nxor U_diff (difference,borrow1,borrow2,borrows);\n                                       ^~~~~~~\n%Error: Exiting due to 1 error(s)\n"
module full_subtracter_gates(x,y,z,difference,borrow);
input x,y,z;
output difference,borrow;

wire inv_x,borrow1,borrow2,borrow3;

not (inv_x,x);
and U_borrow1 (borrow1,inv_x,y),
    U_borrow2 (borrow2,inv_x,z),
    U_borrow3 (borrow3,y,z);

xor U_diff (difference,borrow1,borrow2,borrows);

endmodule
module full_subtracter_gates(x,y,z,difference,borrow);

input x,y,z;
output difference,borrow;

wire inv_x,borrow1,borrow2,borrow3;

not (inv_x,x);
and U_borrow1 (borrow1,inv_x,y),
    U_borrow2 (borrow2,inv_x,z),
    U_borrow3 (borrow3,y,z);

xor U_diff (difference,borrow1,borrow2,borrows);

endmodule