Sign in
foss-fpga-tools
/
third_party
/
yosys
/
refs/heads/mwk/xilinx-dff-improvements
/
.
/
examples
/
smtbmc
/
demo4.smtc
blob: 2f91f8164a5b6ed7cfe3c78d0e783263a34445ab [
file
] [
log
] [
blame
] [
edit
]
initial
assume
[
rst
]
always
-
1
assume
(
not
[
rst
])
assume
(=>
[-
1
:
inv2
]
[
inv2
])
final
-
2
assume
[-
1
:
inv2
]
assume
(
not
[-
2
:
inv2
])
assert
(=
[
r1
]
[
r2
])
