# 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