Sign in
foss-fpga-tools
/
third_party
/
yosys
/
1d098b719513ef2fa701b88b9b56c6e989384c05
/
.
/
examples
/
smtbmc
/
demo4.smtc
blob: 2f91f8164a5b6ed7cfe3c78d0e783263a34445ab [
file
]
initial
assume
[
rst
]
always
-
1
assume
(
not
[
rst
])
assume
(=>
[-
1
:
inv2
]
[
inv2
])
final
-
2
assume
[-
1
:
inv2
]
assume
(
not
[-
2
:
inv2
])
assert
(=
[
r1
]
[
r2
])
