package hardcaml_axi

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

Instantiates address space decoder functions for a given Comb interface.

Parameters

Signature

type t = Comb.t Base.Map.M(Address_space).t

Map of Address_space to the computed enable bit for that space.

val full_address_decoder : address_spaces:Address_spaces.t -> address:Comb.t -> t

Create a full address decoder. Precisely decodes each address space by comparing the upper and lower bounds to the address. Simple but slow and large.

val partial_address_decoder : address_spaces:Address_spaces.t -> address:Comb.t -> t

Create a partial address decoder. The input Address_spaces are validated first then an Address_space_tree is constructed from which the decoder bits are derived. Note that in this scheme every input address is mapped to some decoder output, however, within the specified spaces the decoding should match full_address_decoder.

OCaml

Innovation. Community. Security.