first_edge_after
Query a VCD waveform to find the first transition edge of a specified type after a given reference time.
Instructions
Return the first edge of a given kind after a time.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"signal": "<signal>",
"kind": "<kind>",
"time": "<time>"
},
"name": "first_edge_after"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kind | Yes | Edge kind | |
| time | Yes | Reference time | |
| signal | Yes | Signal full path or unique leaf |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| data | No | ||
| status | Yes | ||
| summary | Yes | ||
| confidence | No | ||
| limitations | No |