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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuartlite.sby] - Diff between revs 22 and 23

Rev 22	Rev 23
`[tasks]`	`[tasks]`
`verific`	`verific`
`yosys`	`yosys`

`[options]`	`[options]`
`mode prove`	`mode prove`
`depth 90`	`depth 90`
`expect pass`	`expect pass`

`[engines]`	`[engines]`
`smtbmc yices`	`smtbmc yices`

`[script]`	`[script]`
`verific:`	`verific:`
`verific -vlog-define VERIFIC_SVA`	`verific -vlog-define VERIFIC_SVA`
`verific -sv txuartlite.v`	`verific -sv txuartlite.v`
`verific -import -extnets -all txuartlite`	`verific -import -extnets -all txuartlite`
`prep -top txuartlite`	`prep -top txuartlite`
`--`	`--`

`yosys:`	`yosys:`
`read_verilog -DTXUARTLITE -formal txuartlite.v`	`read_verilog -DTXUARTLITE -formal txuartlite.v`
`prep -top txuartlite`	`prep -top txuartlite`
`--`	`--`

`[files]`	`[files]`
`txuartlite.v`	`../../rtl/txuartlite.v`