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

Subversion Repositories wbuart32

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

Rev 22	Rev 23
`[tasks]`	`[tasks]`
`one`	`one`
`two`	`two`

`[options]`	`[options]`
`mode prove`	`mode prove`
`multiclock on`	`multiclock on`
`one: depth 20`	`one: depth 20`
`two: depth 120`	`two: depth 120`

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

`[script]`	`[script]`
`one: read_verilog -D RXUARTLITE -formal rxuartlite.v`	`read -define F_OPT_CLK2FFLOGIC`
`two: read_verilog -D RXUARTLITE -D PHASE_TWO -formal rxuartlite.v`	`read -define RXUARTLITE`
	`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]`
`../../rtl/rxuartlite.v`	`../../rtl/rxuartlite.v`