mirror of
https://github.com/YosysHQ/sby.git
synced 2025-09-03 10:08:17 +00:00
tristate example
This commit is contained in:
parent
a200043709
commit
b42b6445b8
3 changed files with 50 additions and 0 deletions
19
docs/examples/tristate/tristate.sby
Normal file
19
docs/examples/tristate/tristate.sby
Normal file
|
@ -0,0 +1,19 @@
|
|||
[tasks]
|
||||
pass
|
||||
fail
|
||||
|
||||
[options]
|
||||
mode prove
|
||||
depth 5
|
||||
|
||||
[engines]
|
||||
smtbmc
|
||||
|
||||
[script]
|
||||
read -sv tristates.v
|
||||
pass: prep -top top_pass
|
||||
fail: prep -top top_fail
|
||||
flatten; tribuf -formal
|
||||
|
||||
[files]
|
||||
tristates.v
|
Loading…
Add table
Add a link
Reference in a new issue