| [tasks] | |
| prf | |
| cvr | |
| [options] | |
| prf: mode prove | |
| prf: depth 120 | |
| prf: expect FAIL | |
| cvr: mode cover | |
| cvr: depth 60 | |
| [engines] | |
| smtbmc | |
| [script] | |
| read -formal faxis_master.v | |
| read -formal xlnxstream_2018_3.v | |
| prep -top xlnxstream_2018_3 | |
| chformal -assert -skip 2 | |
| [files] | |
| faxis_master.v | |
| xlnxstream_2018_3.v |