data/full_repos/permissive/528831163/src/dec_add_round_key.v
1: b"%Error: data/full_repos/permissive/528831163/src/dec_add_round_key.v:8: Cannot find file containing module: 'dec_permutation_layer'\n    dec_permutation_layer pl(.i_pl(i_ark_cipher), .o_pl(pl2sb));\n    ^~~~~~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/528831163/src,data/full_repos/permissive/528831163/dec_permutation_layer\n             data/full_repos/permissive/528831163/src,data/full_repos/permissive/528831163/dec_permutation_layer.v\n             data/full_repos/permissive/528831163/src,data/full_repos/permissive/528831163/dec_permutation_layer.sv\n             dec_permutation_layer\n             dec_permutation_layer.v\n             dec_permutation_layer.sv\n             obj_dir/dec_permutation_layer\n             obj_dir/dec_permutation_layer.v\n             obj_dir/dec_permutation_layer.sv\n%Error: data/full_repos/permissive/528831163/src/dec_add_round_key.v:14: Cannot find file containing module: 'dec_s_box'\n            dec_s_box sb(.i_sb(pl2sb[(4*j + 3):4*j]), .o_sb(sb2xor[(4*j + 3):4*j]));\n            ^~~~~~~~~\n%Error: Exiting due to 2 error(s)\n"
module dec_add_round_key (
    input [63:0] i_ark_cipher, [63:0] i_ark_key,
    output [63:0] o_ark_msg
);

    wire [63:0] sb2xor;
    wire [63:0] pl2sb;
    dec_permutation_layer pl(.i_pl(i_ark_cipher), .o_pl(pl2sb));
    
    
    genvar j;
    generate    
    for(j=0; j < 16; j = j + 1) begin
            dec_s_box sb(.i_sb(pl2sb[(4*j + 3):4*j]), .o_sb(sb2xor[(4*j + 3):4*j]));
        end
    endgenerate

    assign o_ark_msg = i_ark_key ^ sb2xor;
    
endmodule
module dec_add_round_key (
    input [63:0] i_ark_cipher, [63:0] i_ark_key,
    output [63:0] o_ark_msg
);


    wire [63:0] sb2xor;
    wire [63:0] pl2sb;
    dec_permutation_layer pl(.i_pl(i_ark_cipher), .o_pl(pl2sb));
    
    
    genvar j;
    generate    
    for(j=0; j < 16; j = j + 1) begin
            dec_s_box sb(.i_sb(pl2sb[(4*j + 3):4*j]), .o_sb(sb2xor[(4*j + 3):4*j]));
        end
    endgenerate

    assign o_ark_msg = i_ark_key ^ sb2xor;
    
endmodule