package hardcaml_xilinx

  1. Overview
  2. Docs
package hardcaml_xilinx
Legend:
Library
Module
Module type
Parameter
Class
Class type

Xilinx RAM primitive types.

This is specified for xpm macro generation. Note that there exists an Auto mode that is not included here. It is not clear what RAM behaviour to model in that case and we run the risk of simulation/synthesis mismatches.

type t =
  1. | Distributed
    (*

    XPM macro - distributed LUT RAM. Collision mode is Read_before_write.

    *)
  2. | Blockram of Collision_mode.t
    (*

    XPM macro - RAMB36E2

    *)
  3. | Ultraram
    (*

    XPM macro - UltraRAM. Collision_mode is No_change.

    *)
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_xpm_parameter : t -> Base.string