data/full_repos/permissive/528831163/tb/add_round_key_tb.v
1: b"%Error: data/full_repos/permissive/528831163/tb/add_round_key_tb.v:6: Cannot find file containing module: 'add_round_key'\n    add_round_key ark(.i_ark_msg(i_ark_msg), .i_ark_key(i_ark_key), .o_ark_cipher(o_ark_cipher));\n    ^~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/528831163/tb,data/full_repos/permissive/528831163/add_round_key\n             data/full_repos/permissive/528831163/tb,data/full_repos/permissive/528831163/add_round_key.v\n             data/full_repos/permissive/528831163/tb,data/full_repos/permissive/528831163/add_round_key.sv\n             add_round_key\n             add_round_key.v\n             add_round_key.sv\n             obj_dir/add_round_key\n             obj_dir/add_round_key.v\n             obj_dir/add_round_key.sv\n%Error: data/full_repos/permissive/528831163/tb/add_round_key_tb.v:8: Cannot find file containing module: 'dec_XOR_layer'\n    dec_XOR_layer xld(.i_xor(o_ark_cipher), .o_xor(inverse_xor));\n    ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/528831163/tb/add_round_key_tb.v:9: Cannot find file containing module: 'dec_XOR_layer'\n    dec_XOR_layer xld2(.i_xor(64'h7777_aaaa_3333_eeee), .o_xor(desired_input2xor));\n    ^~~~~~~~~~~~~\n%Error: Exiting due to 3 error(s)\n"
module add_round_key_tb ();
    reg [63:0] i_ark_msg;
    reg [79:0] i_ark_key;
    wire [63:0] o_ark_cipher, inverse_xor, desired_input2xor;
    
    add_round_key ark(.i_ark_msg(i_ark_msg), .i_ark_key(i_ark_key), .o_ark_cipher(o_ark_cipher));
    
    dec_XOR_layer xld(.i_xor(o_ark_cipher), .o_xor(inverse_xor));
    dec_XOR_layer xld2(.i_xor(64'h7777_aaaa_3333_eeee), .o_xor(desired_input2xor));
    
    initial begin
        i_ark_key = 0;
        i_ark_msg = 0;
        
        
    end

endmodule
module add_round_key_tb ();

    reg [63:0] i_ark_msg;
    reg [79:0] i_ark_key;
    wire [63:0] o_ark_cipher, inverse_xor, desired_input2xor;
    
    add_round_key ark(.i_ark_msg(i_ark_msg), .i_ark_key(i_ark_key), .o_ark_cipher(o_ark_cipher));
    
    dec_XOR_layer xld(.i_xor(o_ark_cipher), .o_xor(inverse_xor));
    dec_XOR_layer xld2(.i_xor(64'h7777_aaaa_3333_eeee), .o_xor(desired_input2xor));
    
    initial begin
        i_ark_key = 0;
        i_ark_msg = 0;
        
        
    end

endmodule