Zprize_nttmodule For_vitis : sig ... endTop-level wrapper with port naming to suit the Vivido Vitis infrastructure.
module Load_sm : sig ... endSequence the loading of coefficients from DRAM into the parallel MTT cores.
module Memory_layout : sig ... endmodule Store_sm : sig ... endSequence the storing of coefficients from the parallel MTT cores into DRAM.
module Top : sig ... endInstantiate the parallel NTT cores along with the load and store state machines.
module Top_config : sig ... end