| [tasks] |
| prf8 |
| prf16 |
| prf32 |
| prf64 |
| prf128 |
| prf256 |
| prf512 |
| prf1024 |
| |
| [options] |
| mode bmc |
| depth 2 |
| |
| [engines] |
| smtbmc |
| |
| [script] |
| read -formal axi_addr.v |
| read -formal faxi_addr.v |
| read -formal axi_addr_miter.v |
| prf8: hierarchy -top axi_addr_miter -chparam DW 8 |
| prf16: hierarchy -top axi_addr_miter -chparam DW 16 |
| prf32: hierarchy -top axi_addr_miter -chparam DW 32 |
| prf64: hierarchy -top axi_addr_miter -chparam DW 64 |
| prf128: hierarchy -top axi_addr_miter -chparam DW 128 |
| prf256: hierarchy -top axi_addr_miter -chparam DW 256 |
| prf512: hierarchy -top axi_addr_miter -chparam DW 512 |
| prf1024: hierarchy -top axi_addr_miter -chparam DW 1024 |
| |
| prep -top axi_addr_miter |
| |
| [files] |
| ../../rtl/axi_addr.v |
| faxi_addr.v |
| axi_addr_miter.v |