many fixes

2021-03-27 20:58:12 -04:00
parent 2d48fe13c8
commit 39a8579c27
34 changed files with 5021 additions and 515 deletions
--- a/hw/rtl/VX_csr_data.v
+++ b/hw/rtl/VX_csr_data.v
@@ -203,8 +203,9 @@ module VX_csr_data #(
            `CSR_MARCHID   : read_data_r = `ARCHITECTURE_ID;
            `CSR_MIMPID    : read_data_r = `IMPLEMENTATION_ID;

-            default: begin                      
-                assert(~read_enable) else $error("%t: invalid CSR read address: %0h", $time, read_addr);
+            default: begin    
+                assert (~read_enable || read_addr >= `CSR_TEX_BEGIN(0) && read_addr < `CSR_TEX_BEGIN(`CSR_TEX_STATES))                  
+                else $error("%t: invalid CSR read address: %0h", $time, read_addr);
            end
        endcase
    end