Fixed typo in comment.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
openhwgroup · Jan 12, 2023 · cbffb7c · cbffb7c
1 parent 7dc2804
commit cbffb7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sva/cv32e40s_cs_registers_sva.sv b/sva/cv32e40s_cs_registers_sva.sv
@@ -434,7 +434,7 @@ module cv32e40s_cs_registers_sva
                   ex_wb_pipe_i.csr_en &&
                   !ctrl_fsm_i.kill_wb
                   |=>
-                  $stable(pmpncfg_q))   // Check all PMP address registers
+                  $stable(pmpncfg_q))   // Check all PMP CFG registers
     else `uvm_error("cs_registers", "pmpncfg_q changed after set/clear with rs1==0")