get-signal-with-format
Retrieve signal values from a VCD file, applying .gtkw display hints for formatting. Specify the signal name and optional time range to get values.
Instructions
Get signal values from a VCD file, formatted according to .gtkw display hints
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": {
"gtkw_file": "<gtkw_file>",
"vcd_file": "<vcd_file>",
"signal_name": "<signal_name>"
},
"name": "get-signal-with-format"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| end_time | No | End timestamp (optional) | |
| vcd_file | Yes | Path to the VCD file | |
| gtkw_file | Yes | Path to the .gtkw file | |
| start_time | No | Start timestamp (optional) | |
| signal_name | Yes | Signal name |