udb 0.1.16 → 0.1.17

data/.data/spec/std/isa/param/HPM_COUNTER26_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_COUNTER26_WIDTH
+long_name: Width of HPM counter 26
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 26
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter26`.
+
+  This parameter exists only when `HPM_COUNTER_EN[26]` 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_COUNTER27_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_COUNTER27_WIDTH
+long_name: Width of HPM counter 27
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 27
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter27`.
+
+  This parameter exists only when `HPM_COUNTER_EN[27]` 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_COUNTER28_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_COUNTER28_WIDTH
+long_name: Width of HPM counter 28
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 28
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter28`.
+
+  This parameter exists only when `HPM_COUNTER_EN[28]` 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_COUNTER29_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_COUNTER29_WIDTH
+long_name: Width of HPM counter 29
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 29
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter29`.
+
+  This parameter exists only when `HPM_COUNTER_EN[29]` 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_COUNTER30_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_COUNTER30_WIDTH
+long_name: Width of HPM counter 30
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 30
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter30`.
+
+  This parameter exists only when `HPM_COUNTER_EN[30]` 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_COUNTER31_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_COUNTER31_WIDTH
+long_name: Width of HPM counter 31
+definedBy:
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: HPM_COUNTER_EN
+        index: 31
+        equal: true
+description: |
+  The number of bits of precision implemented by `mhpmcounter31`.
+
+  This parameter exists only when `HPM_COUNTER_EN[31]` 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_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/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/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` and `mideleg.MEI` are writable.
+
+  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

data/.data/spec/std/isa/param/MSI_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: MSI_INTR_IMPL
+description: |
+  Whether or not machine-level software interrupts are implemented.
+
+  Possible values:
+
+  true::
+    Machine-level software interrupts are implemented.
+    `mie.MSIE` and `mideleg.MSI` are writable.
+
+  false::
+    Machine-level software interrupts are not implemented.
+    `mie.MSIE` and `mideleg.MSI` are read-only zero.
+long_name: Machine-level software interrupts are implemented
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Zicsr
+      - name: Sm

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

@@ -6,32 +6,25 @@
 $schema: param_schema.json#
 kind: parameter
 name: MSTATUS_FS_LEGAL_VALUES
-description: "The set of values that mstatus.FS supports.
-
-  "
-long_name: TODO
+description: The set of values that mstatus.FS supports.
+long_name: mstatus.FS legal values
 schema:
   type: array
   items:
     type: integer
     enum:
-      - 0
-      - 1
-      - 2
-      - 3
+      - 0 # Off
+      - 1 # Initial
+      - 2 # Clean
+      - 3 # Dirty
   maxItems: 4
   minItems: 1
   uniqueItems: true
 requirements:
   idl(): |
-    implemented?(ExtensionName::F) &&
-      (HW_MSTATUS_FS_DIRTY_UPDATE == "precise" ||
-       HW_MSTATUS_FS_DIRTY_UPDATE == "imprecise")
-    ->
+    implemented?(ExtensionName::F) ->
       $array_includes?(MSTATUS_FS_LEGAL_VALUES, 3);
-  reason:
-    If there is a hardware update to mstatus.FS, then the Dirty state must be
-    supported
+  reason: If F extension is implemented, then the Dirty state must be supported
 definedBy:
   extension:
     allOf: