udb 0.1.16 → 0.1.18

data/.data/spec/std/isa/param/HPM_COUNTER3_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER3_WIDTH
+long_name: Width of HPM counter 3
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 3
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter3`.
+
+  This parameter exists only when `HPM_COUNTER_EN[3]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER4_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER4_WIDTH
+long_name: Width of HPM counter 4
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 4
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter4`.
+
+  This parameter exists only when `HPM_COUNTER_EN[4]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER5_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER5_WIDTH
+long_name: Width of HPM counter 5
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 5
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter5`.
+
+  This parameter exists only when `HPM_COUNTER_EN[5]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER6_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER6_WIDTH
+long_name: Width of HPM counter 6
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 6
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter6`.
+
+  This parameter exists only when `HPM_COUNTER_EN[6]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER7_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER7_WIDTH
+long_name: Width of HPM counter 7
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 7
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter7`.
+
+  This parameter exists only when `HPM_COUNTER_EN[7]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER8_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER8_WIDTH
+long_name: Width of HPM counter 8
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 8
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter8`.
+
+  This parameter exists only when `HPM_COUNTER_EN[8]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTER9_WIDTH.yaml

@@ -0,0 +1,29 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+
+# WARNING: This file is auto-generated from spec/std/isa/param/HPM_COUNTERN_WIDTH.layout
+
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: HPM_COUNTER9_WIDTH
+long_name: Width of HPM counter 9
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 9
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter9`.
+
+  This parameter exists only when `HPM_COUNTER_EN[9]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HPM_COUNTERN_WIDTH.layout

@@ -0,0 +1,27 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+<%- raise "'hpm_num' must be defined" if hpm_num.nil? -%>
+
+$schema: param_schema.json#
+kind: parameter
+name: <%= "HPM_COUNTER#{hpm_num}_WIDTH" %>
+long_name: Width of HPM counter <%= hpm_num %>
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: <%= hpm_num %>
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter<%= hpm_num %>`.
+
+  This parameter exists only when `HPM_COUNTER_EN[<%= hpm_num %>]` is `true`.
+  The privileged specification allows an HPM counter to have up to 64 bits of precision.
+schema:
+  type: integer
+  minimum: 0
+  maximum: 64

data/.data/spec/std/isa/param/HW_MSTATUS_FS_DIRTY_UPDATE.yaml

@@ -7,20 +7,18 @@ $schema: param_schema.json#
 kind: parameter
 name: HW_MSTATUS_FS_DIRTY_UPDATE
 description: |
-  Indicates whether or not hardware will write to `mstatus.FS`
+  Indicates when hardware will write to `mstatus.FS`
 
   Values are:
   [separator="!"]
   !===
-  h! never  ! Hardware never writes `mstatus.FS`
   h! precise  ! Hardware writes `mstatus.FS` to the Dirty (3) state precisely when F registers are modified
   h! imprecise ! Hardware writes `mstatus.FS` imprecisely. This will result in a call to unpredictable() on any attempt to read `mstatus` or write FP state.
   !===
-long_name: TODO
+long_name: Hardware mstatus.FS Dirty update
 schema:
   type: string
   enum:
-    - never
     - precise
     - imprecise
 definedBy:

data/.data/spec/std/isa/param/HW_MSTATUS_VS_DIRTY_UPDATE.yaml

@@ -7,20 +7,18 @@ $schema: param_schema.json#
 kind: parameter
 name: HW_MSTATUS_VS_DIRTY_UPDATE
 description: |
-  Indicates whether or not hardware will write to `mstatus.VS`
+  Indicates when hardware will write to `mstatus.VS`
 
   Values are:
   [separator="!"]
   !===
-  h! never  ! Hardware never writes `mstatus.VS`
   h! precise  ! Hardware writes `mstatus.VS` to the Dirty (3) state precisely when V registers are modified
   h! imprecise ! Hardware writes `mstatus.VS` imprecisely. This will result in a call to unpredictable() on any attempt to read `mstatus` or write vector state.
   !===
-long_name: TODO
+long_name: Hardware mstatus.VS Dirty update
 schema:
   type: string
   enum:
-    - never
     - precise
     - imprecise
 definedBy:

data/.data/spec/std/isa/param/LRSC_FAIL_ON_NON_EXACT_LRSC.yaml

@@ -10,7 +10,7 @@ description: |
   Whether or not a Store Conditional fails if its physical address and size do not
   exactly match the physical address and size of the last Load Reserved in program order
   (independent of whether or not the SC is in the current reservation set)
-long_name: TODO
+long_name: "Store Conditional fails on inexact match of address and size of Load Reserved"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/LRSC_FAIL_ON_VA_SYNONYM.yaml

@@ -9,7 +9,7 @@ name: LRSC_FAIL_ON_VA_SYNONYM
 description: |
   Whether or not an `sc.l`/`sc.d` will fail if its VA does not match the VA of the prior
   `lr.l`/`lr.d`, even if the physical address of the SC and LR are the same
-long_name: TODO
+long_name: "Store Conditional fails on virtual address mismatch of Load Reserved"
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/LRSC_MISALIGNED_BEHAVIOR.yaml

@@ -9,10 +9,10 @@ name: LRSC_MISALIGNED_BEHAVIOR
 description: |
   What to do when an LR/SC address is misaligned and MISALIGNED_AMO == false.
 
-    * 'always raise misaligned exception': self-explainitory
-    * 'always raise access fault': self-explainitory
-    * 'custom': Custom behavior; misaligned LR/SC may sometimes raise a misaligned exception and sometimes raise a access fault. Will lead to an 'unpredictable' call on any misaligned LR/SC access
-long_name: TODO
+    * 'always raise misaligned exception': self-explanatory
+    * 'always raise access fault': self-explanatory
+    * 'custom': Custom behavior; misaligned LR/SC may sometimes raise a misaligned exception and sometimes raise an access fault. Will lead to an 'unpredictable' call on any misaligned LR/SC access
+long_name: "Misaligned LR/SC behavior"
 schema:
   type: string
   enum:

data/.data/spec/std/isa/param/LRSC_RESERVATION_STRATEGY.yaml

@@ -13,7 +13,7 @@ description: |
     * "reserve naturally-aligned 128-byte region": Always reserve the 128-byte block containing the LR/SC address
     * "reserve exactly enough to cover the access": Always reserve exactly the LR/SC access, and no more
     * "custom": Custom behavior, leading to an 'unpredictable' call on any LR/SC
-long_name: TODO
+long_name: "LR/SC reservation set strategy"
 schema:
   type: string
   enum:

data/.data/spec/std/isa/param/{MCONTEXT_AVAILABLE.yaml → MCONTEXT_IMPLEMENTED.yaml}

@@ -5,10 +5,10 @@
 
 $schema: param_schema.json#
 kind: parameter
-name: MCONTEXT_AVAILABLE
+name: MCONTEXT_IMPLEMENTED
 description: |
-  Specifies if MCONTEXT is available
-long_name: TODO
+  Specifies if the mcontext CSR is implemented
+long_name: mcontext CSR is implemented
 schema:
   type: boolean
 definedBy:

data/.data/spec/std/isa/param/MCOUNTENABLE_EN.yaml

@@ -9,9 +9,8 @@ name: MCOUNTENABLE_EN
 description: |
   Indicates which counters can be delegated via `mcounteren`.
 
-  An unimplemented counter cannot be specified, i.e., if
-  HPM_COUNTER_EN[3] is false, it would be illegal to set
-  MCOUNTENABLE_EN[3] to true.
+  `MCOUNTENABLE_EN[n]` controls whether `mcounteren.HPM<n>` is writable. It does not
+  depend on whether `hpmcounter<n>`/`mhpmcounter<n>` is read-only zero.
 
   MCOUNTENABLE_EN[0:2] must all be false if `Zicntr` is not implemented.
   MCOUNTENABLE_EN[3:31] must all be false if `Zihpm` is not implemented.
@@ -32,9 +31,7 @@ requirements:
     }
     for (U32 i=3; i < 32; i++) {
       !implemented?(ExtensionName::Zihpm) -> !MCOUNTENABLE_EN[i];
-      MCOUNTENABLE_EN[i] -> HPM_COUNTER_EN[i];
     }
   reason: |
     Counters 0-2 are defined by Zicntr
     Counters 3..31 are defined by Zihpm
-    When mhpmcounter[i] is not implemented, it cannot be enabled.

data/.data/spec/std/isa/param/MEDELEG_DELEGATABLE.yaml

@@ -0,0 +1,121 @@
+# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: MEDELEG_DELEGATABLE
+description: |
+  Indicates which synchronous exceptions can be delegated via `medeleg`.
+
+  Entry _i_ corresponds to `medeleg` bit _i_, whose index is the exception code reported in `mcause`.
+  When an entry is true, the corresponding `medeleg` bit is writable.
+  When an entry is false, the corresponding `medeleg` bit is read-only zero.
+
+  An implementation may support any subset of the delegatable exceptions,
+  but no bit of `medeleg` may be read-only one.
+
+  `MEDELEG_DELEGATABLE[11]` (environment call from M-mode) and
+  `MEDELEG_DELEGATABLE[16]` (double trap) must always be false.
+long_name: Exceptions that can be delegated through medeleg
+schema:
+  type: array
+  items:
+    type: boolean
+  maxItems: 64
+  minItems: 64
+definedBy:
+  extension:
+    name: S
+requirements:
+  allOf:
+    # medeleg[11] (ECALL from M-mode) and medeleg[16] (double trap) are read-only zero
+    - param:
+        allOf:
+          - name: MEDELEG_DELEGATABLE
+            index: 11
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 16
+            equal: false
+    # Reserved exception codes (14, 17, 32-47) cannot be delegated
+    - param:
+        allOf:
+          - name: MEDELEG_DELEGATABLE
+            index: 14
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 17
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 32
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 33
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 34
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 35
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 36
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 37
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 38
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 39
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 40
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 41
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 42
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 43
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 44
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 45
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 46
+            equal: false
+          - name: MEDELEG_DELEGATABLE
+            index: 47
+            equal: false
+    # Exception codes 10 and 20-23 are defined by H
+    - if:
+        not:
+          extension:
+            name: H
+      then:
+        param:
+          allOf:
+            - name: MEDELEG_DELEGATABLE
+              index: 10
+              equal: false
+            - name: MEDELEG_DELEGATABLE
+              index: 20
+              equal: false
+            - name: MEDELEG_DELEGATABLE
+              index: 21
+              equal: false
+            - name: MEDELEG_DELEGATABLE
+              index: 22
+              equal: false
+            - name: MEDELEG_DELEGATABLE
+              index: 23
+              equal: false

data/.data/spec/std/isa/param/MEI_INTR_IMPL.yaml

@@ -0,0 +1,28 @@
+# Copyright (c) David_Harris@hmc.edu 13 July 2026
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: MEI_INTR_IMPL
+description: |
+  Whether or not machine-level external interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Machine-level external interrupts are implemented.
+    `mie.MEIE` is writable, and `mideleg.MEI` is writable if `MIDELEG_DELEGATABLE[11]` is true.
+
+  false::
+    Machine-level external interrupts are not implemented.
+    `mie.MEIE` and `mideleg.MEI` are read-only zero.
+long_name: Machine-level external interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: Sm