17 lines
192 B
Plaintext
17 lines
192 B
Plaintext
|
# 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
|