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.ml | |
| parent | ae30c51b001b43e292c1e2b48799bf197d7b89ec (diff) | |
| download | vericert-kvx-d5f734deffeb4673e4a5398c3df35eecc569df64.tar.gz vericert-kvx-d5f734deffeb4673e4a5398c3df35eecc569df64.zip | |
Only generate clocked always blocks
Diffstat (limited to 'src/verilog/PrintVerilog.ml')
0 files changed, 0 insertions, 0 deletions