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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [bench/] [formal/] [cpuops.sby] - Blame information for rev 209

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 209 dgisselq
[options]
2
mode prove
3
depth 4
4
 
5
[engines]
6
smtbmc
7
 
8
[script]
9
read   -formal -D CPUOPS cpuops.v
10
# read -formal -D CPUOPS mpyop.v
11
read   -formal -D CPUOPS abs_mpy.v
12
chparam -set IMPLYMENT_MPY 3 cpuops.v
13
prep -top cpuops
14
 
15
[files]
16
../../rtl/core/cpuops.v
17
../../rtl/core/mpyop.v
18
../../rtl/cpudefs.v
19
abs_mpy.v
20
 
21
 

powered by: WebSVN 2.1.0

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