mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-22 16:45:32 +00:00
16 lines
192 B
Text
16 lines
192 B
Text
# 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
|