mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-10-06 18:13:40 +02:00
17 lines
185 B
Plaintext
17 lines
185 B
Plaintext
# Simple SBY 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
|