diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 14:06:51 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 14:06:51 +0100 |
commit | e4a173f4ebd46b5e3f45ee4f65a93790d68544ab (patch) | |
tree | 10494f0357c404604eb8756f6deb0f15d53d576a /src/hls/RTLBlockgen.v | |
parent | adabec157b807bf6695bdcef64233c76f43c37bb (diff) | |
download | vericert-e4a173f4ebd46b5e3f45ee4f65a93790d68544ab.tar.gz vericert-e4a173f4ebd46b5e3f45ee4f65a93790d68544ab.zip |
Use sumbool instead of option for decide_ram_wf
Diffstat (limited to 'src/hls/RTLBlockgen.v')
0 files changed, 0 insertions, 0 deletions