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

Subversion Repositories wbuart32

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

Rev 23	Rev 26
Line 1...	Line 1...
`[tasks]`	`[tasks]`
`verific`	`cvr`
`yosys`	`prf`

`[options]`	`[options]`
`mode prove`	`prf: mode prove`
	`cvr: mode cover`
`depth 90`	`depth 90`
`expect pass`

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

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

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

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