udb 0.1.17 → 0.1.18

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

@@ -0,0 +1,23 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_ICOUNT_SELF_WRITE_SETS_PENDING
+description: |
+  If true, a write to tdata1 that configures an icount trigger with count=1 also sets
+  icount.pending when the writing instruction itself matches the trigger.
+  If false, the writing instruction does not make the trigger pending.
+long_name: icount self-write sets pending
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_ICOUNT_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports icount.

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

@@ -0,0 +1,25 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_ICOUNT_SUPPORTED_TRIGGERS
+description: |
+  Indicates which triggers support icount. Entry i is true if the trigger selected by
+  tselect=i supports icount. Must have exactly SDTRIG_NUM_TRIGGERS entries.
+long_name: List of triggers that support icount
+schema:
+  type: array
+  items:
+    type: boolean
+  maxItems: 18446744073709551616 # 2**64, max tselect values (2**XLEN)
+  minItems: 1
+definedBy:
+  extension:
+    name: Sdtrig
+# TODO: uncomment when we have support for parameter comparison to other parameters
+# requirements:
+#   idl(): |
+#     -> $array_size(SDTRIG_ICOUNT_SUPPORTED_TRIGGERS) == SDTRIG_NUM_TRIGGERS;

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

@@ -0,0 +1,37 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_ITRIGGER_SUPPORTED_INTERRUPTS
+description: |
+  The set of interrupt codes (mcause Exception Code) that itrigger can be enabled for, i.e. the bits of
+  itrigger.tdata2 that are writable as 1.
+
+  Debug spec 1.0, itrigger: "Hardware may only support a subset of interrupts for this trigger."
+long_name: List of interrupts supported by itrigger
+schema:
+  type: array
+  items:
+    type: integer
+    minimum: 0
+    maximum: 63
+  maxItems: 64
+  minItems: 1
+  uniqueItems: true
+requirements:
+  idl(): |
+    for (U32 i = 32; i < 64; i++) {
+      (MXLEN == 32) -> !$array_includes?(SDTRIG_ITRIGGER_SUPPORTED_INTERRUPTS, i);
+    }
+  reason: itrigger.tdata2 is XLEN bits wide, so codes above 31 cannot be selected when XLEN is 32.
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_ITRIGGER_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports itrigger.

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

@@ -0,0 +1,25 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_ITRIGGER_SUPPORTED_TRIGGERS
+description: |
+  Indicates which triggers support itrigger. Entry i is true if the trigger selected by
+  tselect=i supports itrigger. Must have exactly SDTRIG_NUM_TRIGGERS entries.
+long_name: List of triggers that support itrigger
+schema:
+  type: array
+  items:
+    type: boolean
+  maxItems: 18446744073709551616 # 2**64, max tselect values (2**XLEN)
+  minItems: 0
+definedBy:
+  extension:
+    name: Sdtrig
+# TODO: uncomment when we have support for parameter comparison to other parameters
+# requirements:
+#   idl(): |
+#     -> $array_size(SDTRIG_ITRIGGER_SUPPORTED_TRIGGERS) == SDTRIG_NUM_TRIGGERS;

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

@@ -0,0 +1,33 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MAX_CHAIN_LENGTH
+description: |
+  The maximum number of triggers in a trigger chain. A value of 1 means chaining is not supported.
+  Cannot exceed SDTRIG_NUM_TRIGGERS.
+
+  Debug spec 1.0, mcontrol6.chain: "Implementations that wish to limit the maximum length of a trigger
+  chain (eg. to meet timing requirements) may do so by zeroing chain in writes to mcontrol6 that would
+  make the chain too long."
+long_name: Maximum trigger chain length
+schema:
+  type: integer
+  minimum: 1
+  maximum: 18446744073709551615 # 2**64 - 1; 2**64 overflows the 64-bit Z3 term
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.
+# TODO: uncomment when we have support for parameter comparison to other parameters
+# requirements:
+#   idl(): |
+#     -> SDTRIG_MAX_CHAIN_LENGTH <= SDTRIG_NUM_TRIGGERS;
+#   reason: A chain cannot contain more triggers than are implemented.

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

@@ -0,0 +1,22 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_EXECUTE_WRITABLE
+description: |
+  If true, mcontrol6.EXECUTE can be set to 1, so mcontrol6 triggers can match on instruction execution.
+  If false, mcontrol6.EXECUTE is read-only 0. Since mcontrol6.EXECUTE resets to 0, 0 is always supported.
+long_name: mcontrol6.EXECUTE is writable
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,22 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_LOAD_WRITABLE
+description: |
+  If true, mcontrol6.LOAD can be set to 1, so mcontrol6 triggers can match on loads.
+  If false, mcontrol6.LOAD is read-only 0. Since mcontrol6.LOAD resets to 0, 0 is always supported.
+long_name: mcontrol6.LOAD is writable
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,26 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_MASKMAX6
+description: In implementations that support match mode 1 (NAPOT), not all NAPOT ranges may be supported. All NAPOT ranges between 2^1 and 2^SDTRIG_MCONTROL6_MASKMAX6 are supported.
+long_name: NAPOT ranges supported by match control type 6
+schema:
+  type: integer
+  minimum: 1
+  maximum: 64
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.
+
+requirements:
+  idl(): |
+    MXLEN == 32 -> SDTRIG_MCONTROL6_MASKMAX6 <= 32;

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

@@ -0,0 +1,41 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_MATCH_LEGAL_VALUES
+description: |
+  The set of values that mcontrol6.MATCH supports.
+long_name: Legal values of mcontrol6.MATCH
+schema:
+  type: array
+  items:
+    type: integer
+    enum:
+      - 0
+      - 1
+      - 2
+      - 3
+      - 4
+      - 5
+      - 8
+      - 9
+      - 12
+      - 13
+  maxItems: 10
+  minItems: 1
+  uniqueItems: true
+requirements:
+  idl(): |
+    -> $array_includes?(SDTRIG_MCONTROL6_MATCH_LEGAL_VALUES, 0);
+  reason: The reset value of mcontrol6.match is 0, so 0 must be a legal value.
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,22 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_SELECT_WRITABLE
+description: |
+  If true, mcontrol6.SELECT can be set to 1, so mcontrol6 triggers can match on data (select=1) as well as address.
+  If false, mcontrol6.SELECT is read-only 0. Since mcontrol6.SELECT resets to 0, 0 is always supported.
+long_name: mcontrol6.SELECT is writable
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,38 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_SIZE_LEGAL_VALUES
+description: |
+  The set of values that mcontrol6.SIZE supports (0: any, 1: 8-bit, 2: 16-bit, 3: 32-bit, 4: 48-bit, 5: 64-bit, 6: 128-bit).
+long_name: Legal values of mcontrol6.SIZE
+schema:
+  type: array
+  items:
+    type: integer
+    enum:
+      - 0
+      - 1
+      - 2
+      - 3
+      - 4
+      - 5
+      - 6
+  maxItems: 7
+  minItems: 1
+  uniqueItems: true
+requirements:
+  idl(): |
+    -> $array_includes?(SDTRIG_MCONTROL6_SIZE_LEGAL_VALUES, 0);
+  reason: 'Debug spec 1.0, mcontrol6.size: "An implementation must support the value of 0, but all other values are optional."'
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,22 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_STORE_WRITABLE
+description: |
+  If true, mcontrol6.STORE can be set to 1, so mcontrol6 triggers can match on stores.
+  If false, mcontrol6.STORE is read-only 0. Since mcontrol6.STORE resets to 0, 0 is always supported.
+long_name: mcontrol6.STORE is writable
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+        includes: true
+        reason: Only relevant if at least one trigger supports mcontrol6.

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

@@ -0,0 +1,25 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS
+description: |
+  Indicates which triggers support mcontrol6. Entry i is true if the trigger selected by
+  tselect=i supports mcontrol6. Must have exactly SDTRIG_NUM_TRIGGERS entries.
+long_name: List of triggers that support mcontrol6
+schema:
+  type: array
+  items:
+    type: boolean
+  maxItems: 18446744073709551616 # 2**64, max tselect values (2**XLEN)
+  minItems: 1
+definedBy:
+  extension:
+    name: Sdtrig
+# TODO: uncomment when we have support for parameter comparison to other parameters
+# requirements:
+#   idl(): |
+#     -> $array_size(SDTRIG_MCONTROL6_SUPPORTED_TRIGGERS) == SDTRIG_NUM_TRIGGERS;

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

@@ -0,0 +1,17 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_M_WRITABLE
+description: |
+  If true, the M bit in every trigger type that has one (mcontrol, mcontrol6, icount, itrigger, etrigger) can be set to 1, so triggers can match in M-mode.
+  If false, the M bit is read-only 0. Since the M bit resets to 0, 0 is always supported.
+long_name: Trigger M bit is writable
+schema:
+  type: boolean
+definedBy:
+  extension:
+    name: Sdtrig

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

@@ -0,0 +1,22 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_NUM_TRIGGERS
+description: |
+  The number of triggers implemented. Triggers are indexed by tselect from 0 to SDTRIG_NUM_TRIGGERS - 1.
+long_name: Number of triggers implemented
+schema:
+  type: integer
+  minimum: 1
+  maximum: 18446744073709551615 # 2**64 - 1; 2**64 overflows the 64-bit Z3 term
+definedBy:
+  extension:
+    name: Sdtrig
+
+requirements:
+  idl(): |
+    MXLEN == 32 -> SDTRIG_NUM_TRIGGERS <= 33'h100000000;

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

@@ -0,0 +1,19 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_S_WRITABLE
+description: |
+  If true, the S bit in every trigger type that has one (mcontrol, mcontrol6, icount, itrigger, etrigger) can be set to 1, so triggers can match in S/HS-mode.
+  If false, the S bit is read-only 0. Since the S bit resets to 0, 0 is always supported.
+long_name: Trigger S bit is writable
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Sdtrig
+      - name: S

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

@@ -0,0 +1,24 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_MHSELECT_MCONTEXT_MATCH
+description: |
+  If true, textra.mhselect values 4 (and, with H, 1 and 5) are supported, matching on mcontext.
+  Unsupported mhselect values are legalized to 0 (ignore).
+long_name: textra.mhselect supports mcontext matching
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: MCONTEXT_IMPLEMENTED
+        equal: true
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,23 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_MHSELECT_VMID_MATCH
+description: |
+  If true, textra.mhselect values 2 and 6 are supported, matching on the VMID in hgatp.
+  Unsupported mhselect values are legalized to 0 (ignore).
+long_name: textra.mhselect supports VMID matching
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - extension:
+        name: H
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,26 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_MHVALUE_LEN
+description: |
+  The number of implemented textra.mhvalue bits. Bits above these are read-only zero.
+long_name: Number of implemented textra.mhvalue bits
+schema:
+  type: integer
+  minimum: 0
+  maximum: 13
+requirements:
+  idl(): |
+    MXLEN == 32 -> SDTRIG_TEXTRA_MHVALUE_LEN <= 6;
+  reason: textra32.mhvalue is 6 bits wide.
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,23 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_SSELECT_ASID_MATCH
+description: |
+  If true, textra.sselect value 2 is supported, matching on the ASID in satp or vsatp.
+  Unsupported sselect values are legalized to 0 (ignore).
+long_name: textra.sselect supports ASID matching
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - extension:
+        name: S
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,26 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_SSELECT_SCONTEXT_MATCH
+description: |
+  If true, textra.sselect value 1 is supported, matching on scontext.
+  Unsupported sselect values are legalized to 0 (ignore).
+long_name: textra.sselect supports scontext matching
+schema:
+  type: boolean
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - extension:
+        name: S
+    - param:
+        name: SCONTEXT_IMPLEMENTED
+        equal: true
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,26 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_TEXTRA_SVALUE_LEN
+description: |
+  The number of implemented textra.svalue bits. Bits above these are read-only zero.
+long_name: Number of implemented textra.svalue bits
+schema:
+  type: integer
+  minimum: 0
+  maximum: 32
+requirements:
+  idl(): |
+    MXLEN == 32 -> SDTRIG_TEXTRA_SVALUE_LEN <= 16;
+  reason: textra32.svalue is 16 bits wide.
+definedBy:
+  allOf:
+    - extension:
+        name: Sdtrig
+    - param:
+        name: TDATA3_IMPLEMENTED
+        equal: true

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

@@ -0,0 +1,19 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_U_WRITABLE
+description: |
+  If true, the U bit in every trigger type that has one (mcontrol, mcontrol6, icount, itrigger, etrigger) can be set to 1, so triggers can match in U-mode.
+  If false, the U bit is read-only 0. Since the U bit resets to 0, 0 is always supported.
+long_name: Trigger U bit is writable
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Sdtrig
+      - name: U

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

@@ -0,0 +1,19 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_VS_WRITABLE
+description: |
+  If true, the VS bit in every trigger type that has one (mcontrol, mcontrol6, icount, itrigger, etrigger) can be set to 1, so triggers can match in VS-mode.
+  If false, the VS bit is read-only 0. Since the VS bit resets to 0, 0 is always supported.
+long_name: Trigger VS bit is writable
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Sdtrig
+      - name: H

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

@@ -0,0 +1,19 @@
+# Copyright (C) 2026 Harvey Mudd College
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../schemas/param_schema.json
+
+$schema: param_schema.json#
+kind: parameter
+name: SDTRIG_VU_WRITABLE
+description: |
+  If true, the VU bit in every trigger type that has one (mcontrol, mcontrol6, icount, itrigger, etrigger) can be set to 1, so triggers can match in VU-mode.
+  If false, the VU bit is read-only 0. Since the VU bit resets to 0, 0 is always supported.
+long_name: Trigger VU bit is writable
+schema:
+  type: boolean
+definedBy:
+  extension:
+    allOf:
+      - name: Sdtrig
+      - name: H

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

@@ -13,7 +13,7 @@ description: |
 
   true::
     Supervisor-level external interrupts are implemented.
-    `mie.SEIE` and `mideleg.SEI` are writable.
+    `mie.SEIE` is writable, and `mideleg.SEI` is writable if `MIDELEG_DELEGATABLE[9]` is true.
 
   false::
     Supervisor-level external interrupts are not implemented.