Index of modules


A
Auxiliary
Auxiliary functions for internal use in HDCaml.

C
Circuit
Intermediate circuit representation.

D
Design
Digital design entry.

H
Hdl_output
Common functions for HDL generators.

R
Release
Release information.

S
Signal_map [Circuit]
Maps with signals for keys.
Signal_set [Circuit]
Signal sets.
Simulate
Simulate designs within OCaml.
Sink_map [Circuit]
Maps with sink for keys.
Systemc
SystemC model generation.

V
Verify
Digital verification.
Verilog
Verilog netlist generation.
Vhdl
VHDL netlist generation.

W
Waveform
Digital waveform generation.