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
Line 10...	Line 10...

`[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]`