projects
/
yosys.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge pull request #984 from YosysHQ/eddie/fix_982
[yosys.git]
/
frontends
/
verific
/
example.sby
1
# Simple SymbiYosys example job utilizing Verific
2
3
[options]
4
mode prove
5
depth 10
6
7
[engines]
8
smtbmc yices
9
10
[script]
11
verific -sv example.sv
12
verific -import top
13
prep -top top
14
15
[files]
16
example.sv