diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-21 19:57:28 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-21 19:57:28 +0100 |
commit | ed3dabae06c21cb29b1d3bd02e83dc9b8a5efe20 (patch) | |
tree | 2c85369e747590d55a5ad94accb945ea2aa32acc /src/hls/PrintVerilog.mli | |
parent | e1508c94684718a906440fe82344be73e63956a1 (diff) | |
download | vericert-ed3dabae06c21cb29b1d3bd02e83dc9b8a5efe20.tar.gz vericert-ed3dabae06c21cb29b1d3bd02e83dc9b8a5efe20.zip |
Add assumptions about externctrl finish registers
Diffstat (limited to 'src/hls/PrintVerilog.mli')
0 files changed, 0 insertions, 0 deletions