udb 0.1.9 → 0.1.14

data/.data/spec/std/isa/csr/I/pmpaddr62.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 62
       (or, if `pmp63cfg.A` == TOR, for PMP entry 63).
     type(): |
-      if (NUM_PMP_ENTRIES > 62) {
+      if (NUM_USABLE_PMP_ENTRIES > 62) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 62) {
+      if (NUM_USABLE_PMP_ENTRIES <= 62) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

data/.data/spec/std/isa/csr/I/pmpaddr63.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 63
       (or, if `pmp64cfg.A` == TOR, for PMP entry 64).
     type(): |
-      if (NUM_PMP_ENTRIES > 63) {
+      if (NUM_USABLE_PMP_ENTRIES > 63) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 63) {
+      if (NUM_USABLE_PMP_ENTRIES <= 63) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

data/.data/spec/std/isa/csr/I/pmpaddr7.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 7
       (or, if `pmp8cfg.A` == TOR, for PMP entry 8).
     type(): |
-      if (NUM_PMP_ENTRIES > 7) {
+      if (NUM_USABLE_PMP_ENTRIES > 7) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 7) {
+      if (NUM_USABLE_PMP_ENTRIES <= 7) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

data/.data/spec/std/isa/csr/I/pmpaddr8.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 8
       (or, if `pmp9cfg.A` == TOR, for PMP entry 9).
     type(): |
-      if (NUM_PMP_ENTRIES > 8) {
+      if (NUM_USABLE_PMP_ENTRIES > 8) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 8) {
+      if (NUM_USABLE_PMP_ENTRIES <= 8) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

data/.data/spec/std/isa/csr/I/pmpaddr9.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 9
       (or, if `pmp10cfg.A` == TOR, for PMP entry 10).
     type(): |
-      if (NUM_PMP_ENTRIES > 9) {
+      if (NUM_USABLE_PMP_ENTRIES > 9) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= 9) {
+      if (NUM_USABLE_PMP_ENTRIES <= 9) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;

data/.data/spec/std/isa/csr/I/pmpaddrN.layout

@@ -32,17 +32,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry <%= pmpaddr_num %>
       (or, if `pmp<%= pmpaddr_num+1 %>cfg.A` == TOR, for PMP entry <%= pmpaddr_num + 1 %>).
     type(): |
-      if (NUM_PMP_ENTRIES > <%= pmpaddr_num %>) {
+      if (NUM_USABLE_PMP_ENTRIES > <%= pmpaddr_num %>) {
         return CsrFieldType::RW;
       } else {
+        # entry is either not implemented or implemented as read-only zero
         return CsrFieldType::RO;
       }
     reset_value(): |
       return 0;
     sw_write(csr_value): |
-      if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
-        return UNDEFINED_LEGAL_DETERMINISTIC;
-      } else if (NUM_PMP_ENTRIES <= <%= pmpaddr_num %>) {
+      if (NUM_USABLE_PMP_ENTRIES <= <%= pmpaddr_num %>) {
+        # entry is not usable (not implemented or read-only zero)
+        return 0;
+      } else if (csr_value.ADDR >= ((1 `<< (PHYS_ADDR_WIDTH - 2)) - 1)) {
         return UNDEFINED_LEGAL_DETERMINISTIC;
       } else {
         return csr_value.ADDR;