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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [bench/] [formal/] [cpuops.sby] - Rev 209

Compare with Previous | Blame | View Log

[options]
mode prove
depth 4

[engines]
smtbmc

[script]
read   -formal -D CPUOPS cpuops.v
# read -formal -D CPUOPS mpyop.v
read   -formal -D CPUOPS abs_mpy.v
chparam -set IMPLYMENT_MPY 3 cpuops.v
prep -top cpuops

[files]
../../rtl/core/cpuops.v
../../rtl/core/mpyop.v
../../rtl/cpudefs.v
abs_mpy.v


Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

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