diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-02 10:27:01 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-02 10:27:01 +0000 |
commit | 8ddf6a9ff669fbc28cb3247c6ce40cb8fa4cc3fc (patch) | |
tree | 84e87ab576544c1ecc5d78a1fb8b01301bdfb427 /src/hls/HTLgenspec.v | |
parent | d6cfa2f23ddbc83340386c3111f33740ea0cbdeb (diff) | |
download | vericert-kvx-8ddf6a9ff669fbc28cb3247c6ce40cb8fa4cc3fc.tar.gz vericert-kvx-8ddf6a9ff669fbc28cb3247c6ce40cb8fa4cc3fc.zip |
Fix memory generation by generating a power of 2
Diffstat (limited to 'src/hls/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions