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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuartlite.ys] - Blame information for rev 22

Line No.	Rev	Author	Line
1	20	dgisselq	`read_verilog -D TXUARTLITE -formal ../../rtl/txuartlite.v`
2			`prep -top txuartlite -nordff`
3			`opt -share_all`
4			`write_smt2 -wires txuartlite.smt2`