index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
examples
/
smtbmc
/
demo3.smtc
blob: f5e017cf026671bc7d53945103415ca672a47ac7 (
plain
)
1
2
3
4
5
initial assume [rst] always -1 assert (= [-1:mem] [mem])
