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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuartlite.ys] - Diff between revs 20 and 22

Rev 20	Rev 22
Line 1...	Line 1...
`read_verilog -D TXUARTLITE -formal ../../rtl/txuartlite.v`	`read_verilog -D TXUARTLITE -formal ../../rtl/txuartlite.v`
`prep -top txuartlite -nordff`	`prep -top txuartlite -nordff`
`clk2fflogic`
`opt -share_all`	`opt -share_all`
`write_smt2 -wires txuartlite.smt2`	`write_smt2 -wires txuartlite.smt2`