find_signal_loads
Identify every place a signal is consumed in RTL—child instance inputs, assignment RHSs, and always-block sensitivity lists—with cross-hierarchy and generate-block resolution for reliable load tracing.
Instructions
List places that consume (load) a signal: child instance input ports, RHS of assigns/procedural assignments, and always-block sensitivity lists. When a Verdi KDB is detected, an NPI backend transparently engages and resolves the cross-hierarchy / interface-positional / generate-block cases that the static source-regex backend cannot reach. If NPI is unavailable or cannot return a trustworthy result, TraceWeave next attempts the bounded, on-demand Source Graph; Legacy Static remains the normal final fallback (shallow_only). When allow_bounded_bootstrap=true and no full hierarchy exists, only proved positive Source Graph facts are returned; an inconclusive/blocker does not trigger a whole-source Static rescan. backend_status preserves the complete attempt chain and Source Graph coverage/build receipt. claim_semantics separates confidence in returned positive load facts from whole-artifact coverage; exhaustive_search is required before treating the list as all loads, and negative_claim_allowed is required before claiming there are none. A complete Source Graph not_connected is distinct from an inconclusive no-match, which falls through to Static only on the normal full-hierarchy route. Every backend publishes enumeration.{returned_count, output_limit, output_truncated, search_exhaustive, incomplete_reasons, continuation_supported}. High-fanout output is capped at 256; capped positive loads remain usable but are not a complete list, and no backend currently promises a continuation token. Each load query normalizes trailing numeric selects for Legacy Static matching, while Source Graph validates the selected bits against the declaration. Each load carries source_info_origin ('compile_log', 'npi', or 'source_graph') so consumers can tell which provenance produced its file:line.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| top_hint | No | ||
| max_depth | No | Reserved for future transitive walks. Static backend always behaves as 1; NPI backend's fan-out walk is depth-bounded internally regardless of this argument. | |
| simulator | No | vcs / xcelium / auto. Optional — if omitted, server auto-injects the value discovered by get_sim_paths. | |
| compile_log | Yes | ||
| kind_filter | No | Restrict result to a subset of load kinds. | |
| signal_path | Yes | ||
| include_expr | No | Include the surrounding expression for each load. | |
| allow_bounded_bootstrap | No | If true and full hierarchy is unavailable, prove a hard-bounded single-endpoint Source Graph context. Only positive facts may be returned; no-match remains inconclusive and never triggers a whole-source Static rescan. | |
| supplementary_compile_logs | No | Optional complementary compile/elaboration logs used by bounded bootstrap when no hierarchy handle exists. |