package hardcaml_axi

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

Construction of address space decoders. This supports a slower but more complete full address space decoder and the faster but incomplete partial address decoder.

module Address_space : sig ... end

Specification of an address space.

module Address_spaces : sig ... end

Collection of address spaces held in sorted order and checked to be non-overlapping.

module Address_space_tree : sig ... end

Address space sorted into a binary decoder tree. Only valid for address spaces which fulfill the requirements of the partial_address_decoder

val valid_for_partial_address_decoder : address_bits:Base.int -> Address_space.t -> Base.unit

Perform checks to ensure the address spaces are suitable for the partial address decoder.

  • sizes are powers of 2
  • addresses are some mutliple of the size
module Make (Comb : Hardcaml.Comb.S) : sig ... end

Instantiates address space decoder functions for a given Comb interface.

OCaml

Innovation. Community. Security.