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

Subversion Repositories wbuart32

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

Go to most recent revision | Details | Compare with Previous | View Log


[tasks]
verific
yosys
 
[options]
mode prove
depth 90
expect pass
 
[engines]
smtbmc yices
 
[script]
verific:
verific -vlog-define VERIFIC_SVA
verific -sv txuartlite.v
verific -import -extnets -all txuartlite
prep -top txuartlite
--
 
yosys:
read_verilog -DTXUARTLITE -formal txuartlite.v
prep -top txuartlite
--
 
[files]
txuartlite.v

Line No.	Rev	Author	Line
1	22	dgisselq	`[tasks]`
2			`verific`
3			`yosys`
4
5			`[options]`
6			`mode prove`
7			`depth 90`
8			`expect pass`
9
10			`[engines]`
11			`smtbmc yices`
12
13			`[script]`
14			`verific:`
15			`verific -vlog-define VERIFIC_SVA`
16			`verific -sv txuartlite.v`
17			`verific -import -extnets -all txuartlite`
18			`prep -top txuartlite`
19			`--`
20
21			`yosys:`
22			`read_verilog -DTXUARTLITE -formal txuartlite.v`
23			`prep -top txuartlite`
24			`--`
25
26			`[files]`
27			`txuartlite.v`

Browse

Tools

Subversion Repositories wbuart32

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