package hardcaml_xilinx

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

Module Hardcaml_xilinx.Ram_archSource

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.

Sourcetype 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.

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