data/full_repos/permissive/445695969/src_rtl/unprotected/romulus_datapath.v
1: b'%Error: data/full_repos/permissive/445695969/src_rtl/unprotected/romulus_datapath.v:8: Cannot find include file: romulus_config_pkg.v\n`include "romulus_config_pkg.v" \n         ^~~~~~~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/romulus_config_pkg.v\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/romulus_config_pkg.v.v\n             data/full_repos/permissive/445695969/src_rtl/unprotected,data/full_repos/permissive/445695969/romulus_config_pkg.v.sv\n             romulus_config_pkg.v\n             romulus_config_pkg.v.v\n             romulus_config_pkg.v.sv\n             obj_dir/romulus_config_pkg.v\n             obj_dir/romulus_config_pkg.v.v\n             obj_dir/romulus_config_pkg.v.sv\n%Error: data/full_repos/permissive/445695969/src_rtl/unprotected/romulus_datapath.v:180: Cannot find include file: romulus_config_pkg.v\n`include "romulus_config_pkg.v" \n         ^~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/445695969/src_rtl/unprotected/romulus_datapath.v:254: Cannot find include file: romulus_config_pkg.v\n`include "romulus_config_pkg.v" \n         ^~~~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/445695969/src_rtl/unprotected/romulus_datapath.v:295: Cannot find include file: romulus_config_pkg.v\n`include "romulus_config_pkg.v" \n         ^~~~~~~~~~~~~~~~~~~~~~\n%Error: Exiting due to 4 error(s)\n'
module tkx_update (

   tkx,

   sdi, tkxtbc, tkxcorrect, clk, rst, tbc, en
   ) ;
`include "romulus_config_pkg.v"

   output [128*KEYSHARES-1:0] tkx;

   input [BUSW-1:0] sdi;
   input [128*KEYSHARES-1:0] tkxtbc, tkxcorrect;
   input                     clk, rst, tbc, en;

   reg [128*KEYSHARES-1:0]   state;

   assign tkx = state;

   generate
   always @ (posedge clk) begin
      if (rst) begin
         if (BUSW == 128*KEYSHARES) begin:full_bus_width
            state <= sdi;
         end
         else begin:half_bus_width
            state <= {state[128*KEYSHARES-BUSW-1:0],sdi};
         end
      end
      else if (en) begin
         if (tbc) begin
            state <= tkxtbc;
         end
         else begin
            state <= tkxcorrect;
         end
      end
   end
   endgenerate

endmodule
module tkx_update (

   tkx,

   sdi, tkxtbc, tkxcorrect, clk, rst, tbc, en
   ) ;

`include "romulus_config_pkg.v"

   output [128*KEYSHARES-1:0] tkx;

   input [BUSW-1:0] sdi;
   input [128*KEYSHARES-1:0] tkxtbc, tkxcorrect;
   input                     clk, rst, tbc, en;

   reg [128*KEYSHARES-1:0]   state;

   assign tkx = state;

   generate
   always @ (posedge clk) begin
      if (rst) begin
         if (BUSW == 128*KEYSHARES) begin:full_bus_width
            state <= sdi;
         end
         else begin:half_bus_width
            state <= {state[128*KEYSHARES-BUSW-1:0],sdi};
         end
      end
      else if (en) begin
         if (tbc) begin
            state <= tkxtbc;
         end
         else begin
            state <= tkxcorrect;
         end
      end
   end
   endgenerate

endmodule