URL
https://opencores.org/ocsvn/dblclockfft/dblclockfft/trunk
Subversion Repositories dblclockfft
[/] [dblclockfft/] [trunk/] [bench/] [formal/] [qtrstage.sby] - Rev 38
Go to most recent revision | Compare with Previous | Blame | View Log
[options]
mode prove
depth 20
[engines]
smtbmc boolector
[script]
read_verilog -formal -DQTRSTAGE convround.v
read_verilog -formal -DQTRSTAGE qtrstage.v
chparam -set IWIDTH 3 -set OWIDTH 4 qtrstage
prep -top qtrstage
[files]
../../rtl/qtrstage.v
../../rtl/convround.v
Go to most recent revision | Compare with Previous | Blame | View Log