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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuart.sby] - Rev 26

[options]
mode prove
depth 10

[engines]
smtbmc boolector

[script]
read -formal -DTXUART txuart.v
prep -top txuart

[files]
../../rtl/txuart.v