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

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [laststage.sby] - Blame information for rev 36

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 36 dgisselq
[options]
2
mode prove
3
depth   20
4
 
5
[engines]
6
smtbmc yices
7
 
8
[script]
9
read_verilog -formal -DLASTSTAGE convround.v
10
read_verilog -formal -DLASTSTAGE laststage.v
11
chparam -set IWIDTH 3 -set OWIDTH 4 laststage
12
prep -top laststage
13
 
14
[files]
15
../../rtl/laststage.v
16
../../rtl/convround.v

powered by: WebSVN 2.1.0

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