| [tasks] | |
| prfc prf | |
| prfo prf opt_outreg | |
| lpc prf opt_lowpower | |
| lpo prf opt_lowpower opt_outreg | |
| cvr | |
| [options] | |
| prf: mode prove | |
| prf: depth 12 | |
| cvr: mode cover | |
| cvr: depth 20 | |
| [engines] | |
| smtbmc | |
| [script] | |
| read -define SKIDBUFFER | |
| read -formal skidbuffer.v | |
| --pycode-begin-- | |
| cmd = "hierarchy -top skidbuffer" | |
| cmd += " -chparam OPT_LOWPOWER %d" % (1 if "opt_lowpower" in tags else 0) | |
| cmd += " -chparam OPT_OUTREG %d" % (1 if "opt_outreg" in tags else 0) | |
| output(cmd); | |
| --pycode-end-- | |
| prep -top skidbuffer | |
| [files] | |
| ../../rtl/skidbuffer.v |