Crate nl_compiler 

nl-compiler

An experimental library for HDL frontends that can compile to safety-net netlists.

Enums

AigError

Errors for AIG Compilation.

VerilogError

Errors for Verilog Compilation.

Traits

FromId

A trait to specify how to map primitive instantiation names (Identifiers) to the instance safety_net::Instantiable type.

Functions

from_aig

Construct a Safety Net Netlist from a AIG Type parameter I defines the primitive library to parse into.

from_vast

Construct a Safety Net Netlist from a Verilog netlist AST. Type parameter I defines the primitive library to parse into.

from_vast_overrides

Construct a Safety Net Netlist from a Verilog netlist AST. Type parameter I defines the primitive library to parse into. You can provide a closure overrides to modify each instantiated cell after creation.

to_aig

Convert a Safety Net Netlist to an AIG

write_aig

Write an AIG to an ASCII file

Type Aliases

U

The index type for the AIG