data/full_repos/permissive/114519317/knowles32.v
 line:87: before: "~|"
1: b'%Error: data/full_repos/permissive/114519317/knowles32.v:21: Cannot find include file: ./components/input_PG_n.v\n`include "./components/input_PG_n.v" \n         ^~~~~~~~~~~~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/114519317,data/full_repos/permissive/114519317/./components/input_PG_n.v\n             data/full_repos/permissive/114519317,data/full_repos/permissive/114519317/./components/input_PG_n.v.v\n             data/full_repos/permissive/114519317,data/full_repos/permissive/114519317/./components/input_PG_n.v.sv\n             ./components/input_PG_n.v\n             ./components/input_PG_n.v.v\n             ./components/input_PG_n.v.sv\n             obj_dir/./components/input_PG_n.v\n             obj_dir/./components/input_PG_n.v.v\n             obj_dir/./components/input_PG_n.v.sv\n%Error: data/full_repos/permissive/114519317/knowles32.v:22: Cannot find include file: ./components/PG_n.v\n`include "./components/PG_n.v" \n         ^~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/114519317/knowles32.v:23: Cannot find include file: ./components/G_n.v\n`include "./components/G_n.v" \n         ^~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/114519317/knowles32.v:24: Cannot find include file: ./components/n_PG.v\n`include "./components/n_PG.v" \n         ^~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/114519317/knowles32.v:25: Cannot find include file: ./components/n_G.v\n`include "./components/n_G.v" \n         ^~~~~~~~~~~~~~~~~~~~\n%Error: Exiting due to 5 error(s)\n'
module knowles32 
    #(
    parameter [31:0] KNOWLES_S2 = 2,
    parameter [31:0] KNOWLES_S3 = 4,
    parameter [31:0] KNOWLES_S4 = 8,
    parameter [31:0] KNOWLES_S5 = 16
    )
    (
    output Co,
    output [32:1] S,
    input [32:1] A,
    input [32:1] B,
    input Ci
    );

    genvar i;











    wire [32:1] s0_P_n;
    wire [32:0] s0_G_n;

    generate
        for (i = 32; i > 0; i=i-1) begin : s0_unknown
            input_PG_n s0u (
                .P_n(s0_P_n[i]),
                .G_n(s0_G_n[i]),
                .A(A[i]),
                .B(B[i])
            );
        end
    endgenerate

    not (s0_G_n[0], Ci);















            localparam S0_KNOWN = 0;
            localparam S0_GROUP_SIZE = 1;

    wire [31:1] s1_P;
    wire [31:0] s1_G;

    generate


        for (i = 31; i > S0_KNOWN + S0_GROUP_SIZE; i=i-1) begin: s1_unknown
            n_PG s1u (
                .Pc(s1_P[i]),
                .Gc(s1_G[i]),
                .n_Pu(s0_P_n[i]),
                .n_Gu(s0_G_n[i]),
                .n_Pl(s0_P_n[(i-1)]),
                .n_Gl(s0_G_n[(i-1)])
            );
        end
    endgenerate


    generate 
        for (i = S0_KNOWN + S0_GROUP_SIZE; i > S0_KNOWN; i=i-1) begin : s1_known
            n_G s1k (
                .Gc(s1_G[i]),
                .n_Pu(s0_P_n[i]),
                .n_Gu(s0_G_n[i]),
                .n_Gl(s0_G_n[(i-1)])
            );
        end
    endgenerate


    not (s1_G[0], s0_G_n[0]);



    












            localparam S1_KNOWN = 1;
            localparam S1_GROUP_SIZE = 2;

    wire [31:1] s2_P_n;
    wire [31:0] s2_G_n;

    generate
        for (i = 31; i > S1_KNOWN + S1_GROUP_SIZE; i=i-1) begin : s2_unknown
            PG_n s2u (
                .Pc_n(s2_P_n[i]),
                .Gc_n(s2_G_n[i]),
                .Pu(s1_P[i]),
                .Gu(s1_G[i]),
                .Pl(s1_P[(i | KNOWLES_S2-1) - S1_GROUP_SIZE]),
                .Gl(s1_G[(i | KNOWLES_S2-1) - S1_GROUP_SIZE])
                );
        end
    endgenerate    


    generate
        for (i = S1_KNOWN + S1_GROUP_SIZE; i > S1_KNOWN; i=i-1) begin : s2_known
            G_n s2k (
                .Gc_n(s2_G_n[i]),
                .Pu(s1_P[i]),
                .Gu(s1_G[i]),
                .Gl(s1_G[(i | KNOWLES_S2-1) - S1_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S1_KNOWN; i >= 0; i=i-1) begin : s2_prev_known
            not s2pk (s2_G_n[i], s1_G[i]);
        end
    endgenerate















            localparam S2_KNOWN = 3;
            localparam S2_GROUP_SIZE = 4;

    wire [31:1] s3_P;
    wire [31:0] s3_G;

    generate
        for (i = 31; i > S2_KNOWN + S2_GROUP_SIZE; i=i-1) begin : s3_unknown
            n_PG s3u (
                .Pc(s3_P[i]),
                .Gc(s3_G[i]),
                .n_Pu(s2_P_n[i]),
                .n_Gu(s2_G_n[i]),
                .n_Pl(s2_P_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE]),
                .n_Gl(s2_G_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S2_KNOWN + S2_GROUP_SIZE; i > S2_KNOWN; i=i-1) begin : s3_known
            n_G s3k (
                .Gc(s3_G[i]),
                .n_Pu(s2_P_n[i]),
                .n_Gu(s2_G_n[i]),
                .n_Gl(s2_G_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S2_KNOWN; i >= 0; i=i-1) begin : s3_prev_known
            not s3pk (s3_G[i], s2_G_n[i]);
        end
    endgenerate















            localparam S3_KNOWN = 7;
            localparam S3_GROUP_SIZE = 8;

    wire [31:1] s4_P_n;
    wire [31:0] s4_G_n;

    generate
        for (i = 31; i > S3_KNOWN + S3_GROUP_SIZE; i=i-1) begin : s4_unknown
            PG_n s4u (
                .Pc_n(s4_P_n[i]),
                .Gc_n(s4_G_n[i]),
                .Pu(s3_P[i]),
                .Gu(s3_G[i]),
                .Pl(s3_P[(i | KNOWLES_S4-1) - S3_GROUP_SIZE]),
                .Gl(s3_G[(i | KNOWLES_S4-1) - S3_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S3_KNOWN + S3_GROUP_SIZE; i > S3_KNOWN; i=i-1) begin : s4_known
            G_n s4k (
                .Gc_n(s4_G_n[i]),
                .Pu(s3_P[i]),
                .Gu(s3_G[i]),
                .Gl(s3_G[(i | KNOWLES_S4-1) - S3_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S3_KNOWN; i >= 0; i=i-1) begin : s4_prev_known
            not s4pk (s4_G_n[i], s3_G[i]);
        end
    endgenerate















            localparam S4_KNOWN = 15;
            localparam S4_GROUP_SIZE = 16;

    wire [31:1] s5_P;
    wire [31:0] s5_G;

    generate
        for (i = 31; i > S4_KNOWN + S4_GROUP_SIZE; i=i-1) begin : s5_unknown
            n_PG s5u (
                .Pc(s5_P[i]),
                .Gc(s5_G[i]),
                .n_Pu(s4_P_n[i]),
                .n_Gu(s4_G_n[i]),
                .n_Pl(s4_P_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE]),
                .n_Gl(s4_G_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S4_KNOWN + S4_GROUP_SIZE; i > S4_KNOWN; i=i-1) begin : s5_known
            n_G s5k (
                .Gc(s5_G[i]),
                .n_Pu(s4_P_n[i]),
                .n_Gu(s4_G_n[i]),
                .n_Gl(s4_G_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S4_KNOWN; i >= 0; i=i-1) begin : s5_prev_known
            not s5pk (s5_G[i], s4_G_n[i]);
        end
    endgenerate    


















    generate
        for (i = 32; i > 0; i=i-1) begin : output_sum
            xnor sum (S[i], s0_P_n[i], s5_G[i-1]);
        end
    endgenerate
















    wire inverted_31_0_G;
    not (inverted_31_0_G, s5_G[31]);
    n_G carry_out (
        .Gc(Co),
        .n_Pu(s0_P_n[32]),
        .n_Gu(s0_G_n[32]),
        .n_Gl(inverted_31_0_G)
        );

endmodule
module knowles32 
    #(
    parameter [31:0] KNOWLES_S2 = 2,
    parameter [31:0] KNOWLES_S3 = 4,
    parameter [31:0] KNOWLES_S4 = 8,
    parameter [31:0] KNOWLES_S5 = 16
    )
    (
    output Co,
    output [32:1] S,
    input [32:1] A,
    input [32:1] B,
    input Ci
    );


    genvar i;











    wire [32:1] s0_P_n;
    wire [32:0] s0_G_n;

    generate
        for (i = 32; i > 0; i=i-1) begin : s0_unknown
            input_PG_n s0u (
                .P_n(s0_P_n[i]),
                .G_n(s0_G_n[i]),
                .A(A[i]),
                .B(B[i])
            );
        end
    endgenerate

    not (s0_G_n[0], Ci);















            localparam S0_KNOWN = 0;
            localparam S0_GROUP_SIZE = 1;

    wire [31:1] s1_P;
    wire [31:0] s1_G;

    generate


        for (i = 31; i > S0_KNOWN + S0_GROUP_SIZE; i=i-1) begin: s1_unknown
            n_PG s1u (
                .Pc(s1_P[i]),
                .Gc(s1_G[i]),
                .n_Pu(s0_P_n[i]),
                .n_Gu(s0_G_n[i]),
                .n_Pl(s0_P_n[(i-1)]),
                .n_Gl(s0_G_n[(i-1)])
            );
        end
    endgenerate


    generate 
        for (i = S0_KNOWN + S0_GROUP_SIZE; i > S0_KNOWN; i=i-1) begin : s1_known
            n_G s1k (
                .Gc(s1_G[i]),
                .n_Pu(s0_P_n[i]),
                .n_Gu(s0_G_n[i]),
                .n_Gl(s0_G_n[(i-1)])
            );
        end
    endgenerate


    not (s1_G[0], s0_G_n[0]);



    












            localparam S1_KNOWN = 1;
            localparam S1_GROUP_SIZE = 2;

    wire [31:1] s2_P_n;
    wire [31:0] s2_G_n;

    generate
        for (i = 31; i > S1_KNOWN + S1_GROUP_SIZE; i=i-1) begin : s2_unknown
            PG_n s2u (
                .Pc_n(s2_P_n[i]),
                .Gc_n(s2_G_n[i]),
                .Pu(s1_P[i]),
                .Gu(s1_G[i]),
                .Pl(s1_P[(i | KNOWLES_S2-1) - S1_GROUP_SIZE]),
                .Gl(s1_G[(i | KNOWLES_S2-1) - S1_GROUP_SIZE])
                );
        end
    endgenerate    


    generate
        for (i = S1_KNOWN + S1_GROUP_SIZE; i > S1_KNOWN; i=i-1) begin : s2_known
            G_n s2k (
                .Gc_n(s2_G_n[i]),
                .Pu(s1_P[i]),
                .Gu(s1_G[i]),
                .Gl(s1_G[(i | KNOWLES_S2-1) - S1_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S1_KNOWN; i >= 0; i=i-1) begin : s2_prev_known
            not s2pk (s2_G_n[i], s1_G[i]);
        end
    endgenerate















            localparam S2_KNOWN = 3;
            localparam S2_GROUP_SIZE = 4;

    wire [31:1] s3_P;
    wire [31:0] s3_G;

    generate
        for (i = 31; i > S2_KNOWN + S2_GROUP_SIZE; i=i-1) begin : s3_unknown
            n_PG s3u (
                .Pc(s3_P[i]),
                .Gc(s3_G[i]),
                .n_Pu(s2_P_n[i]),
                .n_Gu(s2_G_n[i]),
                .n_Pl(s2_P_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE]),
                .n_Gl(s2_G_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S2_KNOWN + S2_GROUP_SIZE; i > S2_KNOWN; i=i-1) begin : s3_known
            n_G s3k (
                .Gc(s3_G[i]),
                .n_Pu(s2_P_n[i]),
                .n_Gu(s2_G_n[i]),
                .n_Gl(s2_G_n[(i | KNOWLES_S3-1) - S2_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S2_KNOWN; i >= 0; i=i-1) begin : s3_prev_known
            not s3pk (s3_G[i], s2_G_n[i]);
        end
    endgenerate















            localparam S3_KNOWN = 7;
            localparam S3_GROUP_SIZE = 8;

    wire [31:1] s4_P_n;
    wire [31:0] s4_G_n;

    generate
        for (i = 31; i > S3_KNOWN + S3_GROUP_SIZE; i=i-1) begin : s4_unknown
            PG_n s4u (
                .Pc_n(s4_P_n[i]),
                .Gc_n(s4_G_n[i]),
                .Pu(s3_P[i]),
                .Gu(s3_G[i]),
                .Pl(s3_P[(i | KNOWLES_S4-1) - S3_GROUP_SIZE]),
                .Gl(s3_G[(i | KNOWLES_S4-1) - S3_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S3_KNOWN + S3_GROUP_SIZE; i > S3_KNOWN; i=i-1) begin : s4_known
            G_n s4k (
                .Gc_n(s4_G_n[i]),
                .Pu(s3_P[i]),
                .Gu(s3_G[i]),
                .Gl(s3_G[(i | KNOWLES_S4-1) - S3_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S3_KNOWN; i >= 0; i=i-1) begin : s4_prev_known
            not s4pk (s4_G_n[i], s3_G[i]);
        end
    endgenerate















            localparam S4_KNOWN = 15;
            localparam S4_GROUP_SIZE = 16;

    wire [31:1] s5_P;
    wire [31:0] s5_G;

    generate
        for (i = 31; i > S4_KNOWN + S4_GROUP_SIZE; i=i-1) begin : s5_unknown
            n_PG s5u (
                .Pc(s5_P[i]),
                .Gc(s5_G[i]),
                .n_Pu(s4_P_n[i]),
                .n_Gu(s4_G_n[i]),
                .n_Pl(s4_P_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE]),
                .n_Gl(s4_G_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE])
                );
        end
    endgenerate


    generate
        for (i = S4_KNOWN + S4_GROUP_SIZE; i > S4_KNOWN; i=i-1) begin : s5_known
            n_G s5k (
                .Gc(s5_G[i]),
                .n_Pu(s4_P_n[i]),
                .n_Gu(s4_G_n[i]),
                .n_Gl(s4_G_n[(i | KNOWLES_S5-1) - S4_GROUP_SIZE])
                );
        end
    endgenerate


    generate 
        for (i = S4_KNOWN; i >= 0; i=i-1) begin : s5_prev_known
            not s5pk (s5_G[i], s4_G_n[i]);
        end
    endgenerate    


















    generate
        for (i = 32; i > 0; i=i-1) begin : output_sum
            xnor sum (S[i], s0_P_n[i], s5_G[i-1]);
        end
    endgenerate
















    wire inverted_31_0_G;
    not (inverted_31_0_G, s5_G[31]);
    n_G carry_out (
        .Gc(Co),
        .n_Pu(s0_P_n[32]),
        .n_Gu(s0_G_n[32]),
        .n_Gl(inverted_31_0_G)
        );

endmodule