udb 0.1.13 → 0.1.14

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

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 54
       (or, if `pmp55cfg.A` == TOR, for PMP entry 55).
     type(): |
-      if (NUM_PMP_ENTRIES > 54) {
+      if (NUM_USABLE_PMP_ENTRIES > 54) {
         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 <= 54) {
+      if (NUM_USABLE_PMP_ENTRIES <= 54) {
+        # 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/pmpaddr55.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 55
       (or, if `pmp56cfg.A` == TOR, for PMP entry 56).
     type(): |
-      if (NUM_PMP_ENTRIES > 55) {
+      if (NUM_USABLE_PMP_ENTRIES > 55) {
         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 <= 55) {
+      if (NUM_USABLE_PMP_ENTRIES <= 55) {
+        # 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/pmpaddr56.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 56
       (or, if `pmp57cfg.A` == TOR, for PMP entry 57).
     type(): |
-      if (NUM_PMP_ENTRIES > 56) {
+      if (NUM_USABLE_PMP_ENTRIES > 56) {
         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 <= 56) {
+      if (NUM_USABLE_PMP_ENTRIES <= 56) {
+        # 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/pmpaddr57.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 57
       (or, if `pmp58cfg.A` == TOR, for PMP entry 58).
     type(): |
-      if (NUM_PMP_ENTRIES > 57) {
+      if (NUM_USABLE_PMP_ENTRIES > 57) {
         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 <= 57) {
+      if (NUM_USABLE_PMP_ENTRIES <= 57) {
+        # 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/pmpaddr58.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 58
       (or, if `pmp59cfg.A` == TOR, for PMP entry 59).
     type(): |
-      if (NUM_PMP_ENTRIES > 58) {
+      if (NUM_USABLE_PMP_ENTRIES > 58) {
         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 <= 58) {
+      if (NUM_USABLE_PMP_ENTRIES <= 58) {
+        # 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/pmpaddr59.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 59
       (or, if `pmp60cfg.A` == TOR, for PMP entry 60).
     type(): |
-      if (NUM_PMP_ENTRIES > 59) {
+      if (NUM_USABLE_PMP_ENTRIES > 59) {
         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 <= 59) {
+      if (NUM_USABLE_PMP_ENTRIES <= 59) {
+        # 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/pmpaddr6.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 6
       (or, if `pmp7cfg.A` == TOR, for PMP entry 7).
     type(): |
-      if (NUM_PMP_ENTRIES > 6) {
+      if (NUM_USABLE_PMP_ENTRIES > 6) {
         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 <= 6) {
+      if (NUM_USABLE_PMP_ENTRIES <= 6) {
+        # 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/pmpaddr60.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 60
       (or, if `pmp61cfg.A` == TOR, for PMP entry 61).
     type(): |
-      if (NUM_PMP_ENTRIES > 60) {
+      if (NUM_USABLE_PMP_ENTRIES > 60) {
         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 <= 60) {
+      if (NUM_USABLE_PMP_ENTRIES <= 60) {
+        # 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/pmpaddr61.yaml

@@ -30,17 +30,19 @@ fields:
       Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 61
       (or, if `pmp62cfg.A` == TOR, for PMP entry 62).
     type(): |
-      if (NUM_PMP_ENTRIES > 61) {
+      if (NUM_USABLE_PMP_ENTRIES > 61) {
         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 <= 61) {
+      if (NUM_USABLE_PMP_ENTRIES <= 61) {
+        # 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/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;