bisect_signal
Find when a signal condition first becomes true using automated binary search within a simulation time range. This tool saves checkpoints and repeatedly restores runs to narrow down the exact occurrence time.
Instructions
Find when a signal condition first becomes true using automated binary search.
Internally saves checkpoints and repeatedly restores/runs with watchpoints to narrow down the exact time. Returns iteration log and final time range.
Args: signal: Full hierarchical signal path. op: Comparison operator (e.g. "=="). value: Target value (e.g. "8'h11"). start_ns: Start of search range in nanoseconds. end_ns: End of search range in nanoseconds. precision_ns: Stop when range is narrower than this (default 1000ns).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| signal | Yes | ||
| op | Yes | ||
| value | Yes | ||
| start_ns | Yes | ||
| end_ns | Yes | ||
| precision_ns | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |