netlist-graph 0.1.0__tar.gz

netlist_graph-0.1.0/.gitignore

@@ -0,0 +1,62 @@
+/target
+crates/*/target/
+crates/*/Cargo.lock
+/book
+/compile_commands.json
+.cache
+
+# Python
+__pycache__/
+*.pyc
+*.swp
+.pdm-python
+
+# macOS Finder metadata
+**/.DS_Store
+
+# Claude Code session data
+.claude/
+
+# tldr local cache + ignore config
+.tldr/
+.tldrignore
+
+# Simulation artifacts
+*.vvp
+*.vcd
+# Committed cosim regression goldens (CpuBackend CI diffs against these).
+!tests/xprop_cosim/expected/*.vcd
+# Stage C flash cosim golden (mcu_soc; CpuBackend == Metal, #105).
+!tests/mcu_soc/expected/*.vcd
+*.tar.gz
+debug_trace.csv
+*_watchlist.json
+api_artifacts/
+tb_verify_sim
+
+# Binary timing IR. Commit JSON dumps (e.g. via timing-ir-diff's
+# pretty-printed output) instead — *.jtir.json is intentionally not
+# ignored so those can be checked in.
+*.jtir
+# WS4 corpus goldens are the deliberate exception — the .jtir is the
+# canonical binary the regression test diffs against; the .json sidecar
+# is for PR-time review. Both ship.
+!tests/timing_ir/corpus/**/*.jtir
+# Pre-generated timing IR for CI (Metal runner lacks OpenSTA + Liberty)
+!tests/timing_test/inv_chain_pnr/inv_chain.jtir
+
+# Build output directories
+**/build/results/
+
+# ChipFlow design build artifacts
+designs/*/build/
+designs/*/.doit.db
+
+# Test build artifacts (binary firmware, netlists)
+tests/*/build/
+
+# uv lock file
+uv.lock
+
+# IP fetched via cf-ipm at build time
+/ip/

netlist_graph-0.1.0/PKG-INFO

@@ -0,0 +1,113 @@
+Metadata-Version: 2.4
+Name: netlist-graph
+Version: 0.1.0
+Summary: Graph-based netlist analysis tool for SKY130 post-synthesis netlists
+Project-URL: Homepage, https://github.com/gpu-eda/Jacquard
+Project-URL: Repository, https://github.com/gpu-eda/Jacquard
+Project-URL: Documentation, https://gpu-eda.github.io/Jacquard/signal-tracing.html
+License-Expression: Apache-2.0
+Keywords: eda,jacquard,netlist,synthesis,verilog
+Requires-Python: >=3.11
+Requires-Dist: click>=8.0
+Requires-Dist: networkx>=3.0
+Description-Content-Type: text/markdown
+
+# netlist-graph
+
+Graph-based netlist analysis tool for SKY130 post-synthesis netlists.
+
+## Installation
+
+```bash
+cd scripts/netlist_graph
+uv sync
+```
+
+## Usage
+
+### Search for nets
+
+```bash
+uv run netlist-graph search <netlist.v> <pattern>
+```
+
+### Trace drivers (backwards)
+
+```bash
+uv run netlist-graph drivers <netlist.v> <net> [-d depth]
+```
+
+### Trace loads (forwards)
+
+```bash
+uv run netlist-graph loads <netlist.v> <net> [-d depth]
+```
+
+### Find path between nets
+
+```bash
+uv run netlist-graph path <netlist.v> <source> <target>
+```
+
+### Generate trace configuration
+
+Generate signal type and driver information:
+
+```bash
+# Simple output
+uv run netlist-graph trace <netlist.v> <signal1> <signal2> ...
+
+# Generate JSON for programmatic use
+uv run netlist-graph trace <netlist.v> ibus__cyc rst_n_sync.rst --json
+```
+
+### Generate watchlist file
+
+Create a JSON watchlist for signal monitoring:
+
+```bash
+uv run netlist-graph watchlist <netlist.v> <output.json> <signal1> <signal2> ...
+```
+
+Example:
+```bash
+uv run netlist-graph watchlist design.v watch.json ibus__cyc rst_n_sync gpio_out
+```
+
+### Interactive mode
+
+```bash
+uv run netlist-graph interactive <netlist.v>
+```
+
+Commands in interactive mode:
+- `d <net>` - find drivers
+- `l <net>` - find loads
+- `p <src> <tgt>` - find path
+- `s <pattern>` - search nets
+- `c <net>` - cone of influence
+- `q` - quit
+
+## Examples
+
+```bash
+# Find what drives the ibus_cyc signal
+uv run netlist-graph drivers tests/timing_test/minimal_build/6_final.v "ibus__cyc" -d 8
+
+# Trace reset synchronizer path
+uv run netlist-graph drivers tests/timing_test/minimal_build/6_final.v "rst_n_sync.rst"
+
+# Find path from reset input to CPU
+uv run netlist-graph path tests/timing_test/minimal_build/6_final.v "gpio_in[40]" "ibus__cyc"
+
+# Generate watchlist for debugging
+uv run netlist-graph watchlist tests/timing_test/minimal_build/6_final.v watch.json \
+    ibus__cyc rst_n_sync.rst gpio_out[0] gpio_out[1]
+```
+
+## Signal Types
+
+The tool classifies signals based on their drivers:
+- `reg` - Driven by a flip-flop (dfxtp, dfrtp, etc.)
+- `mem` - Driven by SRAM
+- `comb` - Combinational logic (gates, buffers)

netlist_graph-0.1.0/README.md

@@ -0,0 +1,99 @@
+# netlist-graph
+
+Graph-based netlist analysis tool for SKY130 post-synthesis netlists.
+
+## Installation
+
+```bash
+cd scripts/netlist_graph
+uv sync
+```
+
+## Usage
+
+### Search for nets
+
+```bash
+uv run netlist-graph search <netlist.v> <pattern>
+```
+
+### Trace drivers (backwards)
+
+```bash
+uv run netlist-graph drivers <netlist.v> <net> [-d depth]
+```
+
+### Trace loads (forwards)
+
+```bash
+uv run netlist-graph loads <netlist.v> <net> [-d depth]
+```
+
+### Find path between nets
+
+```bash
+uv run netlist-graph path <netlist.v> <source> <target>
+```
+
+### Generate trace configuration
+
+Generate signal type and driver information:
+
+```bash
+# Simple output
+uv run netlist-graph trace <netlist.v> <signal1> <signal2> ...
+
+# Generate JSON for programmatic use
+uv run netlist-graph trace <netlist.v> ibus__cyc rst_n_sync.rst --json
+```
+
+### Generate watchlist file
+
+Create a JSON watchlist for signal monitoring:
+
+```bash
+uv run netlist-graph watchlist <netlist.v> <output.json> <signal1> <signal2> ...
+```
+
+Example:
+```bash
+uv run netlist-graph watchlist design.v watch.json ibus__cyc rst_n_sync gpio_out
+```
+
+### Interactive mode
+
+```bash
+uv run netlist-graph interactive <netlist.v>
+```
+
+Commands in interactive mode:
+- `d <net>` - find drivers
+- `l <net>` - find loads
+- `p <src> <tgt>` - find path
+- `s <pattern>` - search nets
+- `c <net>` - cone of influence
+- `q` - quit
+
+## Examples
+
+```bash
+# Find what drives the ibus_cyc signal
+uv run netlist-graph drivers tests/timing_test/minimal_build/6_final.v "ibus__cyc" -d 8
+
+# Trace reset synchronizer path
+uv run netlist-graph drivers tests/timing_test/minimal_build/6_final.v "rst_n_sync.rst"
+
+# Find path from reset input to CPU
+uv run netlist-graph path tests/timing_test/minimal_build/6_final.v "gpio_in[40]" "ibus__cyc"
+
+# Generate watchlist for debugging
+uv run netlist-graph watchlist tests/timing_test/minimal_build/6_final.v watch.json \
+    ibus__cyc rst_n_sync.rst gpio_out[0] gpio_out[1]
+```
+
+## Signal Types
+
+The tool classifies signals based on their drivers:
+- `reg` - Driven by a flip-flop (dfxtp, dfrtp, etc.)
+- `mem` - Driven by SRAM
+- `comb` - Combinational logic (gates, buffers)

netlist_graph-0.1.0/pyproject.toml

@@ -0,0 +1,34 @@
+[project]
+name = "netlist-graph"
+version = "0.1.0"
+description = "Graph-based netlist analysis tool for SKY130 post-synthesis netlists"
+readme = "README.md"
+license = "Apache-2.0"
+requires-python = ">=3.11"
+keywords = ["netlist", "eda", "verilog", "synthesis", "jacquard"]
+dependencies = [
+    "networkx>=3.0",
+    "click>=8.0",
+]
+
+[project.urls]
+Homepage = "https://github.com/gpu-eda/Jacquard"
+Repository = "https://github.com/gpu-eda/Jacquard"
+Documentation = "https://gpu-eda.github.io/Jacquard/signal-tracing.html"
+
+[project.scripts]
+netlist-graph = "netlist_graph.cli:main"
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/netlist_graph"]
+
+[tool.ruff]
+line-length = 100
+target-version = "py311"
+
+[tool.ruff.lint]
+select = ["E", "F", "I", "N", "W"]

netlist_graph-0.1.0/src/netlist_graph/__init__.py

@@ -0,0 +1,6 @@
+"""Graph-based netlist analysis for SKY130 post-synthesis netlists."""
+
+from netlist_graph.parser import parse_netlist
+from netlist_graph.graph import NetlistGraph
+
+__all__ = ["parse_netlist", "NetlistGraph"]