index
:
oopsla21_fvhls
master
Formal verification of high-level synthesis.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
data
/
accumulator.rtl
blob: 388965c5c5544760fa18ea4f8773eb64e3836ffa (
plain
)
1
2
3
4
5
6
main() { x2 = 3 int32[stack(0)] = x2 x1 = int32[stack(0)] return x1 }