Open, reload, close, list, get status, or release context objects.

Attach, reload, detach, list, or get status for waveform resources.

Discover context-specific models, properties, relations, and operators.

Resolve an exact object. For waveform signals set model='waveform', wave_id, and name; netlist is the default model.

Read properties for exact ObjectRef entries returned by resolve or query.

Run a bounded declarative object query. Set model, scope, npi_types or semantic_classes; waveform queries also require wave_id.

Traverse a cataloged relation from ObjectRef roots with bounded depth.

Return one-hop driver or load evidence for exact design signal names.

Return a bounded driver, load, path, fanin, or fanout evidence graph.

Evaluate active and feasible driver branches for signals at a wave time.

Trace sampled value origin across state boundaries at a wave time.

Read typed waveform values. Request requires signals and unit-bearing times such as ['200ns']; set wave_id when multiple waves are attached.

Read bounded waveform transitions. Request requires signals, start, and end.

Run a typed bounded waveform operation such as sample, statistics, compare, period, pulse, xz, or first_divergence.

Read bounded source context anchored to an exact ObjectRef.

Resolve, validate, or explain deterministic design-to-wave mappings.

Manage bounded evidence artifacts and asynchronous jobs.