Sign in
◑
Theme
foss-fpga-tools
/
third_party
/
yosys
/
4be5a0fd7c1573f81c6c70a16601f7ce5ab87210
/
.
/
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
])
