mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-13 08:48:18 +00:00
25 lines
334 B
Plaintext
25 lines
334 B
Plaintext
[tasks]
|
|
p0 p1 p2 p3 k :
|
|
p2 p3 k : default
|
|
|
|
[options]
|
|
mode prove
|
|
k: depth 6
|
|
~k: depth 1
|
|
|
|
[engines]
|
|
smtbmc
|
|
|
|
[script]
|
|
read -verific
|
|
read -define ASSERT_PX=p0
|
|
p0: read -define ASSUME_PX=p0
|
|
p1: read -define ASSUME_PX=p1
|
|
p2: read -define ASSUME_PX=p2
|
|
p3: read -define ASSUME_PX=p3
|
|
read -sv example.sv
|
|
prep -top example
|
|
|
|
[files]
|
|
example.sv
|