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

Subversion Repositories wbuart32

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

Rev 23	Rev 26
Line 1...	Line 1...
`[tasks]`	`[tasks]`
`one`	`prf`
`two`	`cvr`

`[options]`	`[options]`
`mode prove`	`prf: mode prove`
	`cvr: mode cover`
`multiclock on`	`multiclock on`
`one: depth 20`	`prf: depth 110`
`two: depth 120`	`cvr: depth 720`

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

`[script]`	`[script]`
`read -define F_OPT_CLK2FFLOGIC`	`prf: read -formal -DRXUARTLITE -D PHASE_TWO rxuartlite.v`
`read -define RXUARTLITE`	`cvr: read -formal -DRXUARTLITE -D PHASE_TWO rxuartlite.v`
`one: read -sv -formal rxuartlite.v`
`two: read -sv -D PHASE_TWO -formal rxuartlite.v`
`chparam -set CLOCKS_PER_BAUD 16 rxuartlite`	`chparam -set CLOCKS_PER_BAUD 16 rxuartlite`
`prep -top rxuartlite`	`prep -top rxuartlite`
`# opt_merge -share_all`	`# opt_merge -share_all`

`[files]`	`[files]`