udb 0.1.9 → 0.1.13

data/.data/spec/schemas/register_file_schema.json

@@ -27,6 +27,10 @@
         "when": {
           "$ref": "schema_defs.json#/$defs/requires_entry"
         },
+        "reset_value": {
+          "type": "string",
+          "description": "IDL literal expression for the reset value (e.g., '0'). Omit if reset state is unknown."
+        },
         "arch_read()": {
           "type": "string",
           "description": "Function describing the architecturally defined read behavior. Use this for architecturally mandated effects (e.g., x0 always reads as zero)."
@@ -74,7 +78,7 @@
         "name",
         "long_name",
         "description",
-        "register_length",
+        "register_length()",
         "registers"
       ],
       "additionalProperties": false,
@@ -103,8 +107,9 @@
           "type": "string",
           "enum": ["general_purpose", "floating_point", "vector"]
         },
-        "register_length": {
-          "$ref": "schema_defs.json#/$defs/bit_length_value"
+        "register_length()": {
+          "type": "string",
+          "description": "IDL function body returning the register width in bits. May reference params (MXLEN, VLEN) or implemented?(). Example: 'return MXLEN;'"
         },
         "registers": {
           "type": "array",

data/.data/spec/schemas/schema_defs.json

@@ -115,6 +115,7 @@
     },
     "spec_state": {
       "type": "string",
+      "description": "Ratification state of a specification or extension version: `development` (actively being worked on), `frozen` (feature-complete, under review), `public-review` (open for public comment), `ratification-ready` (approved by the task group, awaiting board vote), `ratified` (officially approved by RISC-V International), or `nonstandard-released` (released but not part of the RISC-V standard).",
       "enum": [
         "development",
         "frozen",
@@ -223,17 +224,20 @@
     },
     "extension_name": {
       "type": "string",
+      "description": "Extension name (e.g., `I`, `M`, `Zicsr`, `Smstateen`)",
       "pattern": "^(([A-WY])|([SXZ][a-z0-9]+))$"
     },
     "extension_version": {
-      "$ref": "#/$defs/rvi_version"
+      "$ref": "#/$defs/rvi_version",
+      "description": "Exact version in `MAJOR[.MINOR[.PATCH]]` format (e.g., `2.1.0`, `2.1`, `2`)"
     },
     "requirement_string": {
       "type": "string",
+      "description": "Version requirement string (e.g., `>= 2.0`, `~> 1.5`, `= 2.1`). The `~>` operator is a pessimistic version constraint: `~> X.Y` means `>= X.Y` and `< (X+1).0`; `~> X.Y.Z` means `>= X.Y.Z` and `< X.(Y+1).0`.",
       "pattern": "^((>=)|(>)|(~>)|(<)|(<=)|(=))?\\s*[0-9]+(\\.[0-9]+(\\.[0-9]+(-[a-fA-F0-9]+)?)?)?$"
     },
     "version_requirements": {
-      "description": "A (set of) version requirements",
+      "description": "Version requirement or list of requirements (e.g., `>= 2.0` or `['>= 2.0', '< 3.0']`)",
       "oneOf": [
         {
           "$ref": "#/$defs/requirement_string"
@@ -380,30 +384,6 @@
         }
       }
     },
-    "cert_normative_rules": {
-      "description": "Architecturally visible behaviors requiring validation by certification tests",
-      "type": "array",
-      "required": ["id", "name", "doc_links", "description"],
-      "properties": {
-        "id": {
-          "type": "string"
-        },
-        "name": {
-          "type": "string"
-        },
-        "doc_links": {
-          "description": "Link to UDB documentation, ISA manual, Sail code, or IDL code",
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        },
-        "description": {
-          "type": "string"
-        }
-      },
-      "additionalProperties": false
-    },
     "encoding_match": {
       "oneOf": [
         {
@@ -434,7 +414,7 @@
     "reference": {
       "type": "string",
       "pattern": "^.+\\.yaml#(/.*)?$",
-      "description": "refrence to another database object, as a JSON Reference"
+      "description": "reference to another database object, as a JSON Reference"
     },
     "integer": {
       "description": "An integer, either native to JSON or a number-like string",
@@ -808,6 +788,7 @@
       "additionalProperties": false
     },
     "condition": {
+      "description": "A condition (YAML structure or IDL function). See the conditions reference for details.",
       "oneOf": [
         {
           "$ref": "#/$defs/yaml_condition"

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

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

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

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

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

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

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

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

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

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

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

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

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

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of:
 

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

@@ -36,7 +36,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -94,7 +94,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -152,7 +152,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -210,7 +210,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 

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

@@ -35,7 +35,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 7   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 6:5 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 6:5 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 4:3
       a! Address matching mode. One of:
 
@@ -93,7 +93,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 15   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 14:13 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 14:13 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 12:11
       a! Address matching mode. One of:
 
@@ -151,7 +151,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 23   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 22:21 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 22:21 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 20:19
       a! Address matching mode. One of:
 
@@ -209,7 +209,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 31   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 30:29 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 30:29 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 28:27
       a! Address matching mode. One of:
 
@@ -269,7 +269,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 39   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 38:37 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 38:37 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 36:35
       a! Address matching mode. One of:
 
@@ -329,7 +329,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 47   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 46:45 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 46:45 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 44:43
       a! Address matching mode. One of:
 
@@ -389,7 +389,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 55   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 54:53 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 54:53 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 52:51
       a! Address matching mode. One of:
 
@@ -449,7 +449,7 @@ fields:
       ! Name ! Location ! Description
 
       h! L ! 63   ! Locks the entry from further modification. Additionally, when set, PMP checks also apply to M-mode for the entry.
-      h! - ! 62:61 ! _Reserved_ Writes shall be ignored.
+      h! MT ! 62:61 ! When the `Smpmpmt` extension is implemented, MT (Memory Type) is a WARL field that overrides the memory type for accesses that match this PMP entry.  See the `Smpmpmt` extension definition for encodings.  When the `Smpmpmt` extension is not implemented, MT is _Reserved_ Writes shall be ignored.
       h! A ! 60:59
       a! Address matching mode. One of: