OpenCores
URL https://opencores.org/ocsvn/zipcpu/zipcpu/trunk

Subversion Repositories zipcpu

[/] [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

powered by: WebSVN 2.1.0

© copyright 1999-2021 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.