frontends/verific/example.sby


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# Simple SymbiYosys example job utilizing Verific

[options]
mode prove
depth 10

[engines]
smtbmc yices

[script]
verific -sv example.sv
verific -import top
prep -top top

[files]
example.sv