trace_signal_path
Trace structural connectivity between two signals using compile logs to determine whether a path exists, returning a confidence-backed positive result or an exact no-path result when negative claims are allowed.
Instructions
Find a structural connectivity path between two signals. A trusted Verdi NPI result wins; otherwise TraceWeave tries a bounded, dual-endpoint Source Graph before Legacy Static. Source Graph follows only projected IR facts across bindings and supported combinational dependencies. claim_semantics reports confidence in a proved positive path independently from global coverage; a found path is not an exhaustive enumeration. A no-path result is exact only when negative_claim_allowed=true; an inconclusive result falls through to unsupported_reason='static_backend_no_path_api'. This is connectivity, NOT temporal driver direction — use explain_signal_driver for driver semantics.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| top_hint | No | ||
| simulator | No | vcs / xcelium / auto. Optional — auto-injected from get_sim_paths. | |
| to_signal | Yes | ||
| compile_log | Yes | ||
| from_signal | Yes | ||
| expand_assigns | No | Expose supported assignment transitions. NPI may show assign cells; Source Graph shows only real IR/source evidence and never invents an NPI cell identity. This changes presentation, not the connectivity verdict. |