hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE

Assign a interface containing variables in an always block.

Creates a interface container with register variables.

Creates a interface container with wire variables, e.g. Foo.Of_always.wire Signal.zero, which would yield wires defaulting to zero.