Hardcaml_xilinxmodule Byte_write_width : sig ... endmodule Cascade_height : sig ... endHeight of BRAM cascades chains. This can be explicitly specified to help vivado meet timing when it is unnecessarily cascading BRAMs.
module Collision_mode : sig ... endmodule Ram_arch : sig ... endXilinx RAM primitive types.
module Dual_port_ram : sig ... endSingle clock Dual Port Memory
module Fifo_async : sig ... endmodule Fifo_sync : sig ... endmodule Simple_dual_port_ram : sig ... endSimple Dual Port Memory. 1 port is for writing, the other for reading.
module True_dual_port_ram : sig ... endTrue Dual Port Memory with independent clocks for ports a and b.
module Ram_port : sig ... endmodule Ram_port_with_clear : sig ... endStatemachine for clearing a RAM via one of it's ports.
module Synthesis : sig ... endmodule Memory_builder : sig ... endA general-purpose means of representing memories. The Config.t type allows the user to configure the underlying memory implementations. Eg: Using URAM for bits 0-72, and BRAMs for bits 73-80. This module allows construction of memories in 1D or 2D Modes. See further documentation below.