data/full_repos/permissive/143278/ivltests/specify1.v
 line:86: before: "th"
data/verilator_xmls/baac75bb-2173-4a97-b0ea-7eeba875796c.xml
module MULT_8x8_f (P, A, B);

   parameter
      NA = 8,
      NB = 8,
      NP = 16,
      PX = 16'bx;

   input  [NA-1:0] A;
   input  [NB-1:0] B;
   output [NP-1:0] P;

   reg [NA-1:0] A_sign;
   reg [NB-1:0] B_sign;
   reg [NP-1:0] P_sign;
   reg Sign;

   wire [NA-1:0] AI;
   wire [NB-1:0] BI;


   buf a0 (AI[0], A[0]);
   buf a1 (AI[1], A[1]);
   buf a2 (AI[2], A[2]);
   buf a3 (AI[3], A[3]);
   buf a4 (AI[4], A[4]);
   buf a5 (AI[5], A[5]);
   buf a6 (AI[6], A[6]);
   buf a7 (AI[7], A[7]);

   buf b0 (BI[0], B[0]);
   buf b1 (BI[1], B[1]);
   buf b2 (BI[2], B[2]);
   buf b3 (BI[3], B[3]);
   buf b4 (BI[4], B[4]);
   buf b5 (BI[5], B[5]);
   buf b6 (BI[6], B[6]);
   buf b7 (BI[7], B[7]);

   reg change_in;
   wire change_out;

   initial change_in = 0;

   buf #(0.01) bc (change_out, change_in);

   wire [NP-1:0] PI;


   assign PI = P_sign;


   buf p0 (P[0], PI[0]);
   buf p1 (P[1], PI[1]);
   buf p2 (P[2], PI[2]);
   buf p3 (P[3], PI[3]);
   buf p4 (P[4], PI[4]);
   buf p5 (P[5], PI[5]);
   buf p6 (P[6], PI[6]);
   buf p7 (P[7], PI[7]);
   buf p8 (P[8], PI[8]);
   buf p9 (P[9], PI[9]);
   buf p10 (P[10], PI[10]);
   buf p11 (P[11], PI[11]);
   buf p12 (P[12], PI[12]);
   buf p13 (P[13], PI[13]);
   buf p14 (P[14], PI[14]);
   buf p15 (P[15], PI[15]);

   specify
      specparam
         th = 0.940,
         td = 4.930;


      (A, B *> P) = (td, td, th, 0, th, 0);
   endspecify


endmodule
module MULT_8x8_f (P, A, B);


   parameter
      NA = 8,
      NB = 8,
      NP = 16,
      PX = 16'bx;

   input  [NA-1:0] A;
   input  [NB-1:0] B;
   output [NP-1:0] P;

   reg [NA-1:0] A_sign;
   reg [NB-1:0] B_sign;
   reg [NP-1:0] P_sign;
   reg Sign;

   wire [NA-1:0] AI;
   wire [NB-1:0] BI;


   buf a0 (AI[0], A[0]);
   buf a1 (AI[1], A[1]);
   buf a2 (AI[2], A[2]);
   buf a3 (AI[3], A[3]);
   buf a4 (AI[4], A[4]);
   buf a5 (AI[5], A[5]);
   buf a6 (AI[6], A[6]);
   buf a7 (AI[7], A[7]);

   buf b0 (BI[0], B[0]);
   buf b1 (BI[1], B[1]);
   buf b2 (BI[2], B[2]);
   buf b3 (BI[3], B[3]);
   buf b4 (BI[4], B[4]);
   buf b5 (BI[5], B[5]);
   buf b6 (BI[6], B[6]);
   buf b7 (BI[7], B[7]);

   reg change_in;
   wire change_out;

   initial change_in = 0;

   buf #(0.01) bc (change_out, change_in);

   wire [NP-1:0] PI;


   assign PI = P_sign;


   buf p0 (P[0], PI[0]);
   buf p1 (P[1], PI[1]);
   buf p2 (P[2], PI[2]);
   buf p3 (P[3], PI[3]);
   buf p4 (P[4], PI[4]);
   buf p5 (P[5], PI[5]);
   buf p6 (P[6], PI[6]);
   buf p7 (P[7], PI[7]);
   buf p8 (P[8], PI[8]);
   buf p9 (P[9], PI[9]);
   buf p10 (P[10], PI[10]);
   buf p11 (P[11], PI[11]);
   buf p12 (P[12], PI[12]);
   buf p13 (P[13], PI[13]);
   buf p14 (P[14], PI[14]);
   buf p15 (P[15], PI[15]);

   specify
      specparam
         th = 0.940,
         td = 4.930;


      (A, B *> P) = (td, td, th, 0, th, 0);
   endspecify


endmodule