data/full_repos/permissive/205055389/primitives/adder.v
 line:2: before: "."
1: b"%Error: data/full_repos/permissive/205055389/primitives/adder.v:2: syntax error, unexpected '.', expecting '['\nmodule adder #(.Dab_s(1), .Dab_co(1), .Dci_s(1), .Dci_co(1)) (A, B, S, CI, CO);\n               ^\n%Error: data/full_repos/permissive/205055389/primitives/adder.v:10: syntax error, unexpected specify\n   specify\n   ^~~~~~~\n%Error: Exiting due to 2 error(s)\n"
module adder #(.Dab_s(1), .Dab_co(1), .Dci_s(1), .Dci_co(1)) (A, B, S, CI, CO);
   input  CI;
   output CO;
   input  ${ABS_RANGE} A,B;
   output ${ABS_RANGE} S;
   wire   ${ABS_RANGE} _S;
   wire   _CO;

   specify
      (A,B *> S) = Dab_s;
      (A,B *> CO) = Dab_co;
      (CI *> S) = Dci_s;
      (CI *> CO) = Dci_co;
   endspecify

   assign {_CO,_S} = A + B + CI;

   assign CO = ${invCO} _CO;
   assign S = ${invS} _S;

endmodule
module adder #(.Dab_s(1), .Dab_co(1), .Dci_s(1), .Dci_co(1)) (A, B, S, CI, CO);

   input  CI;
   output CO;
   input  ${ABS_RANGE} A,B;
   output ${ABS_RANGE} S;
   wire   ${ABS_RANGE} _S;
   wire   _CO;

   specify
      (A,B *> S) = Dab_s;
      (A,B *> CO) = Dab_co;
      (CI *> S) = Dci_s;
      (CI *> CO) = Dci_co;
   endspecify

   assign {_CO,_S} = A + B + CI;

   assign CO = ${invCO} _CO;
   assign S = ${invS} _S;

endmodule