Fifo_sync (hardcaml_xilinx.Hardcaml_xilinx.Fifo

val create : 
  ?overflow_check:Base.bool ->
  ?showahead:Base.bool ->
  ?underflow_check:Base.bool ->
  ?build_mode:Hardcaml.Build_mode.t ->
  ?scope:Hardcaml.Scope.t ->
  ?fifo_memory_type:Hardcaml_xilinx__Fifo_memory_type.t ->
  ?instance:Base.string ->
  Base.unit ->
  capacity:Base.int ->
  clock:Hardcaml.Signal.t ->
  clear:Hardcaml.Signal.t ->
  wr:Hardcaml.Signal.t ->
  d:Hardcaml.Signal.t ->
  rd:Hardcaml.Signal.t ->
  Hardcaml.Signal.t Hardcaml.Fifo.t

Create a synchronous FIFO with the given capacity. If build_mode is Simulation a hardcaml model is generated (note, though, the model is synthesizable). Otherwise a XPM primitive FIFO is instantiated.

If the overflow_check (resp underflow_check)) logic is enabled a write will not occur when the fifo is full (resp read when empty).

showahead reduces the fifo read latency from 1 to 0 cycles relative to rd.