TraceWeave

Discover local formal project directories, role-labelled logs, and exported VCD/FSDB files under a bounded root. JasperGold is the first discovery provider. This tool reports filesystem evidence only: it does not parse proof results or classify a waveform as a counterexample, witness, SST trace, or reachable trace.

Read a signal or evaluate an SV expression at one time. Pass formulas as {expr,bindings,types} or explicitly use typing=wave_bits. FSDB support depends on fsdb_runtime.enabled.

Description is built at runtime.

Return values and transitions for signals or SV expressions in a NARROW window around a target timestamp (typically the failure time). Designed for local causal-chain inspection; NOT for bulk trace extraction. For round-by-round or multi-cycle sampling use get_signals_by_cycle. Unit reminder: all times are picoseconds. If the sim log reports `Time: X ns`, set center_time_ps = X*1000 (example: 75,100 ns -> 75,100,000 ps). Typical window_ps: - Glitch inspection: 1,000 - 5,000 ps - One clock cycle: = clock_period_ps (NOT exposed by get_waveform_summary…

Description is built at runtime.

Discover compile logs, simulation logs, and waveform files under a verif directory. If case_name is omitted, the tool returns available cases. For non-standard layouts you may pass explicit sim_log / wave_file / compile_log paths; any provided field is used as-is and the omitted ones are still auto-discovered (a sim_log path also anchors discovery of the matching waveform and compile/elab logs).

Return UVM/class inheritance tree built from compiled-source scan results. Use `root_class` to start from a specific class; empty = all roots.

Return symbols (modules/classes/interfaces) defined in a single compiled file. If the path is not in the compile set, error includes basename-similar suggestions.

Return a slice of the component_tree starting at `root` (dotted instance path) with up to `depth` levels. Use after build_tb_hierarchy to drill into a branch without pulling the whole tree into context.

Return waveform format, duration, scale, top modules and a bounded signal sample. For FSDB, read metadata_query_mode, sample_signals_order and top_modules_complete; a sample never proves full-design coverage. FSDB support depends on fsdb_runtime.enabled.

Inspect a handshake with signal paths or SV expressions for valid, ready and payload; clocks/control must have the required bit width. Samples strictly before each selected physical clock edge (sampling_phase=before); all changes at that timestamp are excluded. Classify a clocked valid/ready handshake cycle-by-cycle and report protocol facts that leave no value pattern in scoreboard logs: stalls (valid high, ready low), the longest/over-threshold stall windows, backpressure imbalance (ready high, valid low), and — when payload signals are given — payload-hold violations (a payload that changes…

Inspect TL-UL fields mapped to signal paths, fixed selections or SV expressions. Uses strict before-edge sampling for A/D fields and nested checks (sampling_phase=before). Inspect explicitly mapped TL-UL A/D fields with the existing handshake and transaction engines. Missing mappings return mapping_required; packed widths are never guessed. Reports accepted fields, stalls, source pairing and latency, reset/unknown history, carry-in and tail boundaries. Read checks and gaps; no integrity or full compliance claim.

Query the compiled file set by objective scan facts. At least one filter is required. Use this to disambiguate multi-version files (basename collisions are also reported via build_tb_hierarchy.ambiguous_basenames).

Group runtime failures from VCS, Xcelium, or Verilator logs. Requires simulator. Includes first-group context. candidate_previous_logs excludes compile/elaboration logs with bounded sampling. Verilator compiler/host diagnostics are excluded; unknown time stays null.

Estimate a 1-bit signal or SV expression's dominant period inside a window and flag the first beat that deviates from it. Use for rhythm/throughput questions an LLM cannot eyeball from a transition dump: stalled clocks, dropped burst beats, backpressure bubbles, irregular strobes. The dominant period is the median edge-to-edge interval; the first off-beat is auto-registered as a cursor. Reads existing waveforms only — does NOT rerun simulation.

Prioritize a failure using log, waveform, and hierarchy; recommend signals, instances, and failure class. Also suggests a diff_sim_failure_results call to use on the next run.

Reconstruct transactions using signal paths or SV expressions for channel fields. Samples acceptance and fields strictly before each selected physical clock edge (sampling_phase=before); all changes at that timestamp are excluded. Reconstruct id-correlated request/response transactions from two handshake channels: walk every clock edge, match accepted request beats to completion beats by id, and return per-transaction latency plus aggregate facts (outstanding curve incl. per-id peak, ordering, window-local unmatched endpoints). Inspect coverage_status and analysis: state/read budgets return a …

Resolve requested named packed members from the current content-anchored Source Graph artifact and an exact dump declaration. Requires current hierarchy and complete semantic type evidence; may run the bounded license-free worker. Returns mapping_required when identity, active instance specialization, type or range cannot be proved. Returned explicit selections are a compile snapshot: re-resolve after input changes. No waveform/source version inferred.

Scan compiled RTL/TB sources for structural risks. fast runs lexical rules; auto (default) also reuses compatible semantic facts without a cold frontend build; deep explicitly requests a bounded, license-free semantic pass for ties, open inputs and constant comparisons. This is a heuristic detector: it reports suspicious patterns, not confirmed root causes. Always read coverage_status: only complete with total_risks=0 supports a clean-scan observation; zero_coverage scanned no supported sources, and degraded covers only part of the source set. Read lexical_coverage_status and semantic.status s…

Search for signals in a waveform file (FSDB/VCD/FST) and return full hierarchical paths. Use this when the client knows a leaf signal name but not the full path. keyword accepts a single string OR a list of strings: pass a list to batch several lookups in one call (one result entry per keyword, in input order) instead of issuing consecutive single-keyword searches. Each result also carries `direction` (input/output/inout/implicit/...) and `var_type` (wire/reg/integer/real/parameter/memory/...), so callers can filter by port direction or language type within a scope by combining a hierarchical …

Scan a waveform and propose ready-to-use inspect_handshake bundles: it pairs *valid/*ready signals by scope and stem, finds the clock, and groups the channel payload buses (the signals that must hold steady during a stall). Use this BEFORE inspect_handshake so you don't have to hand-assemble {clock, valid, ready, payload} signal paths. Covers AXI *valid/*ready, generic valid/ready, and req/ack. It does NOT synthesise an AHB 'valid' (there is no literal valid signal — it is htrans != IDLE); use suggest_protocol_bundles for AHB/APB. Port _i/_o suffixes retain actual paths and directions; ambiguo…

Scan a waveform for protocol-specific AHB/APB bundles. AHB candidates return ready-to-use inspect_handshake args with valid_htrans + ready + payload (address-phase control), plus hwrite/write_data (HWDATA, for the write data-phase hold check) ONLY on initiator-side interfaces (a responder's HWDATA is an interconnect-mux output that glitches at the clock edge, so the check is withheld there to stay zero-FP), because AHB has no literal valid signal. APB candidates return psel/penable/pready facts and loudly report that inspect_handshake still needs a derived valid signal for psel && penable. Dir…

Samples strictly before each selected physical clock edge (sampling_phase=before). Bounded handshake anomaly sweep: discover valid/ready interface and every AHB interface, then inspect each over the window in one call, returning a comparative fact table (per-interface stalls, deadlock signature ended_in_stall, x-while-valid, payload-hold, write-data-hold, premature valid deassertion, backpressure) ordered by a transparent mechanical key. Use on opaque global symptoms (timeout/hang) when you don't know which of many interfaces misbehaves — it collapses N suggest+inspect round-trips into one. Al…

Use real signal paths as roots; supported RTL expressions are extracted internally. Verify a waveform difference and backtrace its active data/control dependencies on both sides within explicit time/work limits. Uses the normal trusted NPI, Source Graph, Static route. Each side requires its exact compile context and a current build_tb_hierarchy result. Explicit signal/scope mappings are required across different designs. Reports evidence, candidates and honest frontiers; does not claim a unique root cause or rerun simulation. Clock mode requires aligned clock_a/clock_b edges. History never ext…

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, …

Start from a real signal path; supported RTL expressions are extracted internally. When a signal shows X/Z at a target time, trace its propagation chain through upstream driver logic. Uses the selected connectivity route (trusted local/LSF NPI, bounded Source Graph, then Static). A Source Graph trace may expand to bounded direct-child frontiers when an unresolved parent net can be driven by a child output. Any backend or artifact change discards the partial chain and restarts from the original signal, so one returned chain never mixes provenance. Connectivity queries run outside waveform locks…

Check signal conditions or SV expression predicates over a clock window and return a precise verdict (holds) plus a concrete witness/counterexample (cycle + sampled values). You state the predicate; the tool checks it against the waveform over the requested cycles. A term is {signal, op, value} (op: eq/ne/gt/ge/lt/le/is_x/is_known) or a typed {expr,...} using SV truth conversion. A predicate is a list of terms (implicit AND). Modes: always(P), never(P), eventually(P), implication (A |-> B within N cycles, the protocol-response template; set overlap=false for |=> = a stability/hold property whe…