diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-12 20:23:45 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-12 20:23:45 +0100 |
commit | 77988ed8be364f0caa3dc7eac30d2251e2675b50 (patch) | |
tree | 9654d8c157a8201afd9aa8b8d678d0b5400891fd /src/hls/HTLgen.v | |
parent | eafd62f89435eddafdb7bfab3f33a888a84e8608 (diff) | |
download | vericert-77988ed8be364f0caa3dc7eac30d2251e2675b50.tar.gz vericert-77988ed8be364f0caa3dc7eac30d2251e2675b50.zip |
Tie clocks in the ApplyExternctrl pass
Diffstat (limited to 'src/hls/HTLgen.v')
-rw-r--r-- | src/hls/HTLgen.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/hls/HTLgen.v b/src/hls/HTLgen.v index 2e4cf48..a979a40 100644 --- a/src/hls/HTLgen.v +++ b/src/hls/HTLgen.v @@ -532,7 +532,6 @@ Definition transf_instr (ge : RTL.genv) (fin rtrn stack: reg) (ni: node * instru do finish_reg <- map_externctrl fn ctrl_finish; do reset_reg <- map_externctrl fn ctrl_reset; do return_reg <- map_externctrl fn ctrl_return; - do _ <- map_externctrl fn ctrl_clk; let fork_instr := fork reset_reg params in let join_instr := join return_reg reset_reg dst in |