data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv
None: at end of input
1: b'%Warning-STMTDLY: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:63: Unsupported: Ignoring delay on this delayed statement.\n       clk = 1; #10; clk = 0; #10;\n                ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:63: Unsupported: Ignoring delay on this delayed statement.\n       clk = 1; #10; clk = 0; #10;\n                              ^\n%Warning-IMPLICIT: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:213: Signal definition not found, creating implicitly: \'n1\'\nxor (n1, a, b) ;\n     ^~\n%Warning-IMPLICIT: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:215: Signal definition not found, creating implicitly: \'n2\'\n                                                                                                          : ... Suggested alternative: \'n1\'\nnand (n2, a, b) ;\n      ^~\n%Warning-IMPLICIT: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:216: Signal definition not found, creating implicitly: \'n3\'\n                                                                                                          : ... Suggested alternative: \'n1\'\nnand (n3,n1, c) ;\n      ^~\n%Warning-WIDTH: data/full_repos/permissive/13847835/ProjectStatusReport/TestBenches/CPA/CPAfunct.sv:68: Bit extraction of array[1023:0] requires 10 bit index, not 12 bits.\n                                                                                                      : ... In instance testbenchCPAfunct\n       currentvec = vectors[vectornum];\n                           ^\n%Error: Exiting due to 6 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module testbenchCPAfunct();
 
  logic a0;
  logic a1;
  logic a10;
  logic a11;
  logic a12;
  logic a2;
  logic a3;
  logic a4;
  logic a5;
  logic a6;
  logic a7;
  logic a8;
  logic a9;
  logic b0;
  logic b1;
  logic b10;
  logic b11;
  logic b12;
  logic b2;
  logic b3;
  logic b4;
  logic b5;
  logic b6;
  logic b7;
  logic b8;
  logic b9;
  logic cout;
  logic overflow;
  logic s0;
  logic s1;
  logic s10;
  logic s11;
  logic s12;
  logic s2;
  logic s3;
  logic s4;
  logic s5;
  logic s6;
  logic s7;
  logic s8;
  logic s9;
  
    logic clk;
    logic [9:0] vectors[1023:0], currentvec;
    logic [11:0] vectornum, errors;
    integer outC;
    

    functCPA dut(a0, a1, a10, a11, a12, a2, a3, a4, a5, a6, a7, a8, a9, b0, b1, b10, 
      b11, b12, b2, b3, b4, b5, b6, b7, b8, b9, cout, overflow, s0, s1, s10, 
      s11, s12, s2, s3, s4, s5, s6, s7, s8, s9);
    

    initial begin
       $readmemb("lakis.txt", vectors);
       outC = $fopen("CPAcheckOUT.txt","w");
       vectornum = 0; errors = 0;
    end

    always begin
       clk = 1; #10; clk = 0; #10;
    end
      

    always @(posedge clk) begin
       currentvec = vectors[vectornum];
       $display("%h%h%h%h%h%h%h%h%h%h", 
       currentvec[9], 
       currentvec[8] ,
       currentvec[7] ,
       currentvec[6] ,
       currentvec[5] ,
       currentvec[4] ,
       currentvec[3] ,
       currentvec[2] ,
       currentvec[1] ,
       currentvec[0] );

       
       a0 = currentvec[9];
       a1 = 0;
       a10 = currentvec[8];
       a11 = 1;
       a12 = currentvec[7];
       a2 = currentvec[6];
       a3 = 1;
       a4 = 1;
       a5 = 0;
       a6 = 1;
       a7 = currentvec[5];
       a8 = 1;
       a9 = 1;
       b0 = currentvec[4];
       b1 = currentvec[3];
       b10 = 1;
       b11 = 1;
       b12 = 1;
       b2 = currentvec[1];
       b3 = 0;
       b4 = currentvec[0];
       b5 = 0;
       b6 = 0;
       b7 = 0;
       b8 = currentvec[2];
       b9 = 1;
       
       
       
       if (vectornum === 1023) begin
         $display("Completed %d tests with %d errors.", 
                  vectornum, errors);
                  $fclose(outC);   
         $stop;
       end
    end
    

    always @(negedge clk) begin
       $fwrite(outC, "%h%h%h%h%h%h%h%h%h%h%h%h%h%h%h\n", 
       cout, overflow, s0, s1, s10, 
      s11, s12, s2, s3, s4, s5, s6, s7, s8, s9);
       vectornum = vectornum + 1;
    end
endmodule
module testbenchCPAfunct();

 
  logic a0;
  logic a1;
  logic a10;
  logic a11;
  logic a12;
  logic a2;
  logic a3;
  logic a4;
  logic a5;
  logic a6;
  logic a7;
  logic a8;
  logic a9;
  logic b0;
  logic b1;
  logic b10;
  logic b11;
  logic b12;
  logic b2;
  logic b3;
  logic b4;
  logic b5;
  logic b6;
  logic b7;
  logic b8;
  logic b9;
  logic cout;
  logic overflow;
  logic s0;
  logic s1;
  logic s10;
  logic s11;
  logic s12;
  logic s2;
  logic s3;
  logic s4;
  logic s5;
  logic s6;
  logic s7;
  logic s8;
  logic s9;
  
    logic clk;
    logic [9:0] vectors[1023:0], currentvec;
    logic [11:0] vectornum, errors;
    integer outC;
    

    functCPA dut(a0, a1, a10, a11, a12, a2, a3, a4, a5, a6, a7, a8, a9, b0, b1, b10, 
      b11, b12, b2, b3, b4, b5, b6, b7, b8, b9, cout, overflow, s0, s1, s10, 
      s11, s12, s2, s3, s4, s5, s6, s7, s8, s9);
    

    initial begin
       $readmemb("lakis.txt", vectors);
       outC = $fopen("CPAcheckOUT.txt","w");
       vectornum = 0; errors = 0;
    end

    always begin
       clk = 1; #10; clk = 0; #10;
    end
      

    always @(posedge clk) begin
       currentvec = vectors[vectornum];
       $display("%h%h%h%h%h%h%h%h%h%h", 
       currentvec[9], 
       currentvec[8] ,
       currentvec[7] ,
       currentvec[6] ,
       currentvec[5] ,
       currentvec[4] ,
       currentvec[3] ,
       currentvec[2] ,
       currentvec[1] ,
       currentvec[0] );

       
       a0 = currentvec[9];
       a1 = 0;
       a10 = currentvec[8];
       a11 = 1;
       a12 = currentvec[7];
       a2 = currentvec[6];
       a3 = 1;
       a4 = 1;
       a5 = 0;
       a6 = 1;
       a7 = currentvec[5];
       a8 = 1;
       a9 = 1;
       b0 = currentvec[4];
       b1 = currentvec[3];
       b10 = 1;
       b11 = 1;
       b12 = 1;
       b2 = currentvec[1];
       b3 = 0;
       b4 = currentvec[0];
       b5 = 0;
       b6 = 0;
       b7 = 0;
       b8 = currentvec[2];
       b9 = 1;
       
       
       
       if (vectornum === 1023) begin
         $display("Completed %d tests with %d errors.", 
                  vectornum, errors);
                  $fclose(outC);   
         $stop;
       end
    end
    

    always @(negedge clk) begin
       $fwrite(outC, "%h%h%h%h%h%h%h%h%h%h%h%h%h%h%h\n", 
       cout, overflow, s0, s1, s10, 
      s11, s12, s2, s3, s4, s5, s6, s7, s8, s9);
       vectornum = vectornum + 1;
    end
endmodule