cad_verify
Run formal verification with SBY or EQY/MCY using an existing config to prove, cover, or check HDL design equivalence and mutations.
Instructions
Run formal verification with SBY, or EQY/MCY with an existing config.
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": {
"request": "<request>"
},
"name": "cad_verify"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| request | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| job | Yes | ||
| mode | Yes | ||
| depth | No | ||
| error | No | ||
| trace | No | ||
| engine | No | ||
| status | No | unknown | |
| summary | No | ||
| log_tail | No | ||
| artifacts | No | ||
| properties | No |