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 and unrolling of static loops.
• Integration with the facilities of slang's libraries.
• A command-line tool for interactive use.
• 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.