diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-04-01 01:29:37 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-01 01:29:37 +0100 |
commit | 823aaba2458cf8d56606f902e8c4b79c3d63aafa (patch) | |
tree | 4181517767ce96e01f3dc8931fc7c146c306f3a4 /src/hls | |
parent | 315f610b111d8d5433866fa032beac0ea29df676 (diff) | |
download | vericert-823aaba2458cf8d56606f902e8c4b79c3d63aafa.tar.gz vericert-823aaba2458cf8d56606f902e8c4b79c3d63aafa.zip |
Add declarations
Diffstat (limited to 'src/hls')
-rw-r--r-- | src/hls/Memorygen.v | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/hls/Memorygen.v b/src/hls/Memorygen.v index d9341d7..dd4745f 100644 --- a/src/hls/Memorygen.v +++ b/src/hls/Memorygen.v @@ -332,12 +332,13 @@ Definition transf_module (m: module): module := (mod_start m) (mod_reset m) (mod_clk m) - (AssocMap.set en (None, VScalar 32) - (AssocMap.set wr_en (None, VScalar 32) - (AssocMap.set d_out (None, VScalar 32) - (AssocMap.set d_in (None, VScalar 32) - (AssocMap.set addr (None, VScalar 32) m.(mod_scldecls)))))) - (AssocMap.set m.(mod_stk) (None, VArray 32 (2 ^ Nat.log2_up new_size))%nat m.(mod_arrdecls)) + (AssocMap.set u_en (None, VScalar 1) + (AssocMap.set en (None, VScalar 1) + (AssocMap.set wr_en (None, VScalar 1) + (AssocMap.set d_out (None, VScalar 32) + (AssocMap.set d_in (None, VScalar 32) + (AssocMap.set addr (None, VScalar 32) m.(mod_scldecls))))))) + (AssocMap.set m.(mod_stk) (None, VArray 32 (2 ^ Nat.log2_up new_size))%nat m.(mod_arrdecls)) (Some ram) (is_wf _ nc nd) | _, _ => m |