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

Subversion Repositories wbuart32

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

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