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

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [bimpy.sby] - Rev 40

[options]
mode prove
depth   5

[engines]
smtbmc

[script]
read_verilog -formal -DLONGBIMPY bimpy.v
prep -top bimpy

[files]
../../rtl/bimpy.v