diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 11:37:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 11:37:42 +0100 |
commit | 13b880f99b7355010551ad1b93242cf7773aa202 (patch) | |
tree | 7b3bbb28641da2db6bda8078cf26cd0e8f0bffd9 /src/verilog | |
parent | f470234beafacccf743a75d4d0e6213b8861ca30 (diff) | |
download | vericert-13b880f99b7355010551ad1b93242cf7773aa202.tar.gz vericert-13b880f99b7355010551ad1b93242cf7773aa202.zip |
Declare all registers properly in HTL
Diffstat (limited to 'src/verilog')
0 files changed, 0 insertions, 0 deletions