Module Hardcaml_kernelSource

Sourcemodule Always_coverage : sig ... end
Sourcemodule Always : sig ... end
Sourcemodule Always_prim : sig ... end
Sourcemodule Bits : sig ... end

An immutable finite sequence of bits with a specified width.

Sourcemodule Bits_list : sig ... end
Sourcemodule Caller_id : sig ... end

Optionally embed the callstack in the signal type when it is created.

Sourcemodule Call_stack : sig ... end
Sourcemodule Clock_domain : sig ... end

Clock_domain contains functions to work with clock domains.

Sourcemodule Clocked_signal : sig ... end

Clocked_signal.t is similar to a Signal.t, but with clock domain info attached to it.

Sourcemodule Clocking : sig ... end
Sourcemodule Comb : sig ... end

Combinational logic API.

Sourcemodule Constant : sig ... end

Representation of variable width Constants and conversion to/from OCaml types.

Sourcemodule Coverage_global_config : sig ... end

Global coverage configuration that controls if and how coverage analysis will be run

Sourcemodule Coverage_metadata : sig ... end

Coverage metadata to be stored on a Signal

Sourcemodule Coverage_prim : sig ... end

Core coverage types used across different stages of coverage analysis

Sourcemodule Edge : sig ... end

Specification of rising or falling edge of a signal (normally a clock).

Sourcemodule Enum : sig ... end

The Enum contains functors that can be used to create special interface modules to represent an enumeration type (ie: a variant with no arguments).

Sourcemodule Interface : sig ... end

Interfaces specify the widths and names of a group of signals, and some functions for manipulating the signals as a group.

Sourcemodule Level : sig ... end

Specification of a signals level - high or low.

Sourcemodule Logic : sig ... end
Sourcemodule Multiport_memory : sig ... end

Internal module - functions for implementing multiport memories and validating their parameters.

Sourcemodule Name_and_loc : sig ... end

A hardcaml signal name with source code location.

Sourcemodule Parameter : sig ... end

A Parameter.t is the name and value of a configurable attribute of an instantiated RTL design.

Sourcemodule Parameter_name : sig ... end

RTL name of parameters on instantiated modules.

Sourcemodule Read_port : sig ... end
Sourcemodule Reg_spec : sig ... end
Sourcemodule Rtl_attribute : sig ... end

RTL attribute specification. Only relevant to downstream tooling.

Sourcemodule Scalar : sig ... end
Sourcemodule Signal : sig ... end

Hardware design datatype suitable for simulation and netlist generation

Sourcemodule Signedness : sig ... end
Sourcemodule Types : sig ... end
Sourcemodule Uid_builder : sig ... end
Sourcemodule Wave_format : sig ... end

How to display the value of a signal. Generally used in waveforms.

Sourcemodule With_valid : sig ... end
Sourcemodule Write_port : sig ... end
Sourcemodule Ppx_hardcaml_runtime : sig ... end