From 624e3215674e1f315dfa439cd1cf3620db293122 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 28 Mar 2021 13:49:42 +0100 Subject: Update declared size --- src/hls/Memorygen.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/hls/Memorygen.v b/src/hls/Memorygen.v index 50986a7..37201a0 100644 --- a/src/hls/Memorygen.v +++ b/src/hls/Memorygen.v @@ -279,7 +279,7 @@ Definition transf_module (m: module): module := (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 new_size)%nat m.(mod_arrdecls)) + (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 -- cgit