diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:56:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:56:36 +0100 |
commit | d5f734deffeb4673e4a5398c3df35eecc569df64 (patch) | |
tree | 6ed3a531a9395e038a4ef472bac1a59f3793f6d5 /src/verilog/PrintVerilog.mli | |
parent | ae30c51b001b43e292c1e2b48799bf197d7b89ec (diff) | |
download | vericert-kvx-d5f734deffeb4673e4a5398c3df35eecc569df64.tar.gz vericert-kvx-d5f734deffeb4673e4a5398c3df35eecc569df64.zip |
Only generate clocked always blocks
Diffstat (limited to 'src/verilog/PrintVerilog.mli')
0 files changed, 0 insertions, 0 deletions