URL
https://opencores.org/ocsvn/zipcpu/zipcpu/trunk
[/] [zipcpu/] [trunk/] [bench/] [formal/] [idecode.sby] - Blame information for rev 209
Details |
Compare with Previous |
View Log
| Line No. |
Rev |
Author |
Line |
| 1 |
209 |
dgisselq |
[tasks]
|
| 2 |
|
|
pipe_div_mpy_cis_opipe pipelind div mpy cis pipemem
|
| 3 |
|
|
pipe_div_mpy_cis_nopipe pipelind div mpy cis nopipemem
|
| 4 |
|
|
pipe_div_mpy_nocis_pipe pipelind div mpy nocis pipemem
|
| 5 |
|
|
pipe_div_mpy_nocis_nopipe pipelind div mpy nocis nopipemem
|
| 6 |
|
|
pipe_div_nompy_nocis_nopipe pipelind div nompy nocis nopipemem
|
| 7 |
|
|
pipe_nodiv_nompy_nocis_nopipe pipelind nodiv nompy nocis nopipemem
|
| 8 |
|
|
nopipe_nodiv_nompy_nocis_nopipe nopipelind nodiv nompy nocis nopipemem
|
| 9 |
|
|
|
| 10 |
|
|
[options]
|
| 11 |
|
|
mode prove
|
| 12 |
|
|
depth 10
|
| 13 |
|
|
|
| 14 |
|
|
[engines]
|
| 15 |
|
|
smtbmc
|
| 16 |
|
|
|
| 17 |
|
|
[script]
|
| 18 |
|
|
read -formal -D IDECODE idecode.v
|
| 19 |
|
|
read -formal -D IDECODE f_idecode.v
|
| 20 |
|
|
|
| 21 |
|
|
nopipelind: chparam -set OPT_PIPELINED 0 idecode
|
| 22 |
|
|
pipelind: chparam -set OPT_PIPELINED 1 idecode
|
| 23 |
|
|
|
| 24 |
|
|
nodiv: chparam -set OPT_DIVIDE 0 idecode
|
| 25 |
|
|
div: chparam -set OPT_DIVIDE 1 idecode
|
| 26 |
|
|
|
| 27 |
|
|
nompy: chparam -set OPT_MPY 0 idecode
|
| 28 |
|
|
mpy: chparam -set OPT_MPY 1 idecode
|
| 29 |
|
|
|
| 30 |
|
|
nocis: chparam -set OPT_CIS 0 idecode
|
| 31 |
|
|
cis: chparam -set OPT_CIS 1 idecode
|
| 32 |
|
|
|
| 33 |
|
|
nopipemem: chparam -set OPT_OPIPE 0 idecode
|
| 34 |
|
|
pipemem: chparam -set OPT_OPIPE 1 idecode
|
| 35 |
|
|
|
| 36 |
|
|
prep -top idecode
|
| 37 |
|
|
|
| 38 |
|
|
[files]
|
| 39 |
|
|
../../rtl/core/idecode.v
|
| 40 |
|
|
f_idecode.v
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.