data/full_repos/permissive/445695969/src_rtl/unprotected/tweakablecipher.v
1: b"%Error: data/full_repos/permissive/445695969/src_rtl/unprotected/tweakablecipher.v:16: Cannot find file containing module: 'roundfunction'\n   roundfunction #(.fullcnt(fullcnt), .numrnd(numrnd)) skinny_rnd (.nextcnt(nextcnt),\n   ^~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/roundfunction\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/roundfunction.v\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/roundfunction.sv\n             roundfunction\n             roundfunction.v\n             roundfunction.sv\n             obj_dir/roundfunction\n             obj_dir/roundfunction.v\n             obj_dir/roundfunction.sv\n%Error: Exiting due to 1 error(s)\n"
module tweakablecipher (

   nextcnt, nextkey, nexttweak, nextstate,

   roundkey, roundtweak, roundstate, roundcnt, constant
   ) ;
   parameter numrnd = 2;
   parameter fullcnt = 1;

   output [63+64*fullcnt:0] nextcnt;
   output [127:0]           nextkey, nexttweak, nextstate;
   input [127:0]            roundkey, roundtweak, roundstate;
   input [63+64*fullcnt:0]  roundcnt;
   input [5+6*(numrnd-1):0] constant;

   roundfunction #(.fullcnt(fullcnt), .numrnd(numrnd)) skinny_rnd (.nextcnt(nextcnt),
                                                                     .nextkey(nextkey),
                                                                     .nexttweak(nexttweak),
                                                                     .nextstate(nextstate),
                                                                     .roundkey(roundkey),
                                                                     .roundtweak(roundtweak),
                                                                     .roundcnt(roundcnt),
                                                                     .roundstate(roundstate),
                                                                     .constant(constant)
                                                                     );
endmodule
module tweakablecipher (

   nextcnt, nextkey, nexttweak, nextstate,

   roundkey, roundtweak, roundstate, roundcnt, constant
   ) ;

   parameter numrnd = 2;
   parameter fullcnt = 1;

   output [63+64*fullcnt:0] nextcnt;
   output [127:0]           nextkey, nexttweak, nextstate;
   input [127:0]            roundkey, roundtweak, roundstate;
   input [63+64*fullcnt:0]  roundcnt;
   input [5+6*(numrnd-1):0] constant;

   roundfunction #(.fullcnt(fullcnt), .numrnd(numrnd)) skinny_rnd (.nextcnt(nextcnt),
                                                                     .nextkey(nextkey),
                                                                     .nexttweak(nexttweak),
                                                                     .nextstate(nextstate),
                                                                     .roundkey(roundkey),
                                                                     .roundtweak(roundtweak),
                                                                     .roundcnt(roundcnt),
                                                                     .roundstate(roundstate),
                                                                     .constant(constant)
                                                                     );
endmodule