Slang Netlist is built on top of slang for analysing the source-level static connectivity of a SystemVerilog design. It uses slang's AST and data-flow analyses to construct a dependency graph of operations and provides facilities for interacting with this data structure.

Slang Netlist is a C++ library and provides a command-line tool for interactive use, and a Python module for straightforward integration into scripts. Possible applications include connectivity checks, CDC checks and timing path estimation.

Features

• Data dependencies that are resolved to a bit level.
• Procedural dependencies in always blocks, including evaluation of constant-valued conditions, unrolling of static loops, and tracking of non-blocking assignments.
• Path finding and combinational loop detection.
• Driver, port, and register reporting.
• Netlist export (DOT) and serialization (JSON) for later reloading.
• Multithreaded netlist construction for large designs.
• Integration with the facilities of slang's libraries.
• A command-line tool (slang-netlist) for interactive use, plus a companion tool (slang-report) that surfaces the underlying AST information.
• Python bindings to integrate the tool into scripts.

Support and contributions

• Bug reports: open an issue on GitHub.
• Contributing: pull requests are welcome, see our contributing guidelines.

License

Slang Netlist is licensed under the MIT License. See the full license for details.