udb 0.1.16 → 0.1.18

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 642af8189712e586458dbc95aecdec921fff4d765b5914f00c59adf422ee60a0
-  data.tar.gz: 8e914af25855fd5335cee61d48b29b224886c39cb5b63b00530fc0fe0cc83747
+  metadata.gz: 1e5fc4b9d4860c0c692810f15762376e1587a85643e49a56129958b48d5db03f
+  data.tar.gz: 5db88026a7fd73dd39cfe6038c196ffcb8924f27cfeff28321abb9c52cd28c1d
 SHA512:
-  metadata.gz: 23f4835af0d1fd845ef8c48ddd7dfce7354aa6656ad993ed189234fbe2f43eb01700ec24972336bcc3ddb6e0c41ee609eac4a8f88f6021e388a09e69e2a59834
-  data.tar.gz: 2eb190eecd92203f877366434e3400b58d50007da7dfbdf5745bed97443a4c39d6120624cac2eebcba697ad77ae81bc1eaaca91c60b71dd02daee44768a4e26f
+  metadata.gz: 215da39f5dde4e17d64c531f80a5868a1c12a0baed04fca23e51fe461c0a2994b644e6c22b9063e3fd4e2b4432553d9c5c8088c69c75095cc2247ca6f0212be4
+  data.tar.gz: 8e347e437e7327aded689f4e153a84f915477bb001f0936aa89a3c34ed478ab789e50f81067efb051f38c95172ebaad005e97e8ae1500e4169ed5a613674ed5c

data/.data/cfgs/example_rv64_with_overlay.yaml

@@ -23,8 +23,8 @@ implemented_extensions:
   - [H, "1.0.0"]
   - [M, "2.0.0"]
   - [Zmmul, "1.0.0"]
-  - [S, "1.12.0"]
-  - [Sm, "1.12.0"]
+  - [S, "1.13.0"]
+  - [Sm, "1.13.0"]
   - [U, "1.0.0"]
   - [V, "1.0.0"]
   - [Zve64f, "1.0.0"]
@@ -41,11 +41,13 @@ implemented_extensions:
   - [Smaia, "1.0.0"]
   - [Smcdeleg, "1.0.0"]
   - [Smcntrpmf, "1.0.0"]
+  - [Smcsrind, "1.0.0"]
   - [Smstateen, "1.0.0"]
   - [Ssstateen, "1.0.0"]
   - [Sscofpmf, "1.0.0"]
   - [Ssaia, "1.0.0"]
   - [Ssccfg, "1.0.0"]
+  - [Sscsrind, "1.0.0"]
   - [Sstc, "1.0.0"]
   - [Sv39, "1.0"]
   - [Sv48, "1.0"]
@@ -613,3 +615,156 @@ params:
   MSTATEEN_IMSIC_TYPE: rw
   HSTATEEN_AIA_TYPE: rw
   HSTATEEN_IMSIC_TYPE: rw
+  MSTATEEN_CSRIND_TYPE: rw
+  HSTATEEN_CSRIND_TYPE: rw
+  MEI_INTR_IMPL: false
+  MSI_INTR_IMPL: false
+  MTI_INTR_IMPL: false
+  SEI_INTR_IMPL: false
+  SSI_INTR_IMPL: false
+  STI_INTR_IMPL: true
+  WFI_U_MODE: false
+  WFI_FINITE: true
+  NON_STANDARD_EXTENSION_IMPLEMENTED: false
+  HPM_COUNTER3_WIDTH: 64
+  HPM_COUNTER4_WIDTH: 64
+  HPM_COUNTER5_WIDTH: 64
+  HPM_COUNTER6_WIDTH: 64
+  HPM_COUNTER7_WIDTH: 64
+  HPM_COUNTER8_WIDTH: 64
+  HPM_COUNTER9_WIDTH: 64
+  HPM_COUNTER10_WIDTH: 64
+  MEDELEG_DELEGATABLE:
+    [
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      false,
+      true,
+      true,
+      false,
+      true,
+      false,
+      false,
+      false,
+      false,
+      true,
+      true,
+      true,
+      true,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+    ]
+  MIDELEG_DELEGATABLE:
+    [
+      false,
+      false,
+      true,
+      false,
+      false,
+      true,
+      true,
+      false,
+      false,
+      false,
+      true,
+      false,
+      true,
+      true,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+    ]

data/.data/cfgs/mc100-32-full-example.yaml

@@ -162,3 +162,9 @@ params:
       false,
       false,
     ]
+  MEI_INTR_IMPL: false
+  MSI_INTR_IMPL: false
+  MTI_INTR_IMPL: false
+  WFI_U_MODE: false
+  WFI_FINITE: true
+  NON_STANDARD_EXTENSION_IMPLEMENTED: false

data/.data/cfgs/profile/RVA23S64.yaml

@@ -45,7 +45,7 @@ mandatory_extensions:
 - name: Shvstvecd
   version: "~> 1.0.0"
 - name: Sm
-  version: "~> 1.13.0"
+  version: "~> 1.13"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf

data/.data/cfgs/profile/RVA23p1S64.yaml

@@ -0,0 +1,217 @@
+# SPDX-License-Identifier: CC0-1.0
+
+# AUTO-GENERATED FILE. DO NOT EDIT
+# To regenerate, run `./do gen:cfg` in the UDB root directory
+# The data comes from the UDB profile definitions in spec/std/isa/profile/
+
+---
+"$schema": config_schema.json#
+kind: architecture configuration
+type: partially configured
+name: RVA23p1S64
+description:
+params: {}
+mandatory_extensions:
+- name: A
+  version: "~> 2.1"
+- name: B
+  version: "~> 1.0.0"
+- name: C
+  version: "~> 2.0"
+- name: D
+  version: "~> 2.2.0"
+- name: F
+  version: "~> 2.2.0"
+- name: H
+  version: "~> 1.0"
+- name: I
+  version: "~> 2.1"
+- name: M
+  version: "~> 2.0"
+- name: S
+  version: "~> 1.13"
+- name: Sha
+  version: "~> 1.0"
+- name: Shcounterenw
+  version: "~> 1.0.0"
+- name: Shgatpa
+  version: "~> 1.0.0"
+- name: Shtvala
+  version: "~> 1.0.0"
+- name: Shvsatpa
+  version: "~> 1.0.0"
+- name: Shvstvala
+  version: "~> 1.0.0"
+- name: Shvstvecd
+  version: "~> 1.0.0"
+- name: Sm
+  version: "~> 1.13"
+- name: Ssccptr
+  version: "~> 1.0"
+- name: Sscofpmf
+  version: "~> 1.0"
+- name: Sscounterenw
+  version: "~> 1.0"
+- name: Ssnpm
+  version: "~> 1.0"
+- name: Ssstateen
+  version: "~> 1.0"
+- name: Sstc
+  version: "~> 1.0"
+- name: Sstvala
+  version: "~> 1.0"
+- name: Sstvecd
+  version: "~> 1.0"
+- name: Ssu64xl
+  version: "~> 1.0"
+- name: Supm
+  version: "~> 1.0"
+- name: Sv39
+  version: "~> 1.0"
+- name: Svade
+  version: "~> 1.0"
+- name: Svbare
+  version: "~> 1.0"
+- name: Svinval
+  version: "~> 1.0"
+- name: Svnapot
+  version: "~> 1.0"
+- name: Svpbmt
+  version: "~> 1.0"
+- name: U
+  version: "~> 1.0"
+- name: V
+  version: "~> 1.0"
+- name: Za128rs
+  version: "~> 1.0"
+- name: Za64rs
+  version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zawrs
+  version: "~> 1.0"
+- name: Zba
+  version: "~> 1.0"
+- name: Zbb
+  version: "~> 1.0"
+- name: Zbs
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcb
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0.0"
+- name: Zcmop
+  version: "~> 1.0"
+- name: Zfa
+  version: "~> 1.0"
+- name: Zfhmin
+  version: "~> 1.0"
+- name: Zic64b
+  version: "= 1.0"
+- name: Zicbom
+  version: "~> 1.0"
+- name: Zicbop
+  version: "~> 1.0"
+- name: Zicboz
+  version: "~> 1.0"
+- name: Ziccamoa
+  version: "~> 1.0"
+- name: Ziccif
+  version: "~> 1.0"
+- name: Zicclsm
+  version: "~> 1.0"
+- name: Ziccrse
+  version: "~> 1.0"
+- name: Zicntr
+  version: "~> 2.0"
+- name: Zicond
+  version: "~> 1.0"
+- name: Zicsr
+  version: "~> 2.0"
+- name: Zifencei
+  version: "~> 2.0"
+- name: Zihintntl
+  version: "~> 1.0"
+- name: Zihintpause
+  version: "~> 2.0"
+- name: Zihpm
+  version: "~> 2.0"
+- name: Zimop
+  version: "~> 1.0"
+- name: Zkt
+  version: "~> 1.0"
+- name: Zmmul
+  version: "~> 1.0.0"
+- name: Zvbb
+  version: "~> 1.0"
+- name: Zve32f
+  version: "~> 1.0.0"
+- name: Zve32x
+  version: "~> 1.0.0"
+- name: Zve64d
+  version: "~> 1.0.0"
+- name: Zve64f
+  version: "~> 1.0.0"
+- name: Zve64x
+  version: "~> 1.0.0"
+- name: Zvfhmin
+  version: "~> 1.0"
+- name: Zvkb
+  version: "~> 1.0.0"
+- name: Zvkt
+  version: "~> 1.0"
+- name: Zvl128b
+  version: "~> 1.0.0"
+- name: Zvl32b
+  version: "~> 1.0.0"
+- name: Zvl64b
+  version: "~> 1.0.0"
+non_mandatory_extensions:
+- name: Sdtrig
+  version: "~> 1.0"
+- name: Ssccfg
+  version: "~> 1.0"
+- name: Ssctr
+  version: "~> 1.0"
+- name: Ssdbltrp
+  version: "~> 1.0"
+- name: Sspm
+  version: "~> 1.0"
+- name: Ssqosid
+  version: "~> 1.0"
+- name: Ssstrict
+  version: "~> 1.0"
+- name: Sv48
+  version: "~> 1.0"
+- name: Sv57
+  version: "~> 1.0"
+- name: Svadu
+  version: "~> 1.0"
+- name: Svrsw60t59b
+  version: "~> 1.0"
+- name: Svvptc
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0"
+- name: Zcf
+  version: "~> 1.0"
+- name: Zkr
+  version: "~> 1.0"
+additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: S_MODE_ENDIANNESS
+      equal: little
+    - name: SXLEN
+      includes: 64
+    - name: UXLEN
+      includes: 64

data/.data/cfgs/profile/RVB23S64.yaml

@@ -29,7 +29,7 @@ mandatory_extensions:
 - name: S
   version: "~> 1.13"
 - name: Sm
-  version: "~> 1.13.0"
+  version: "~> 1.13"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf

data/.data/cfgs/profile/RVB23p1S64.yaml

@@ -0,0 +1,179 @@
+# SPDX-License-Identifier: CC0-1.0
+
+# AUTO-GENERATED FILE. DO NOT EDIT
+# To regenerate, run `./do gen:cfg` in the UDB root directory
+# The data comes from the UDB profile definitions in spec/std/isa/profile/
+
+---
+"$schema": config_schema.json#
+kind: architecture configuration
+type: partially configured
+name: RVB23p1S64
+description:
+params: {}
+mandatory_extensions:
+- name: A
+  version: "~> 2.1"
+- name: B
+  version: "~> 1.0.0"
+- name: C
+  version: "~> 2.0"
+- name: D
+  version: "~> 2.2.0"
+- name: F
+  version: "~> 2.2.0"
+- name: I
+  version: "~> 2.1"
+- name: M
+  version: "~> 2.0"
+- name: S
+  version: "~> 1.13"
+- name: Sm
+  version: "~> 1.13"
+- name: Ssccptr
+  version: "~> 1.0"
+- name: Sscofpmf
+  version: "~> 1.0"
+- name: Sscounterenw
+  version: "~> 1.0"
+- name: Sstc
+  version: "~> 1.0"
+- name: Sstvala
+  version: "~> 1.0"
+- name: Sstvecd
+  version: "~> 1.0"
+- name: Ssu64xl
+  version: "~> 1.0"
+- name: Sv39
+  version: "~> 1.0"
+- name: Svade
+  version: "~> 1.0"
+- name: Svbare
+  version: "~> 1.0"
+- name: Svinval
+  version: "~> 1.0"
+- name: Svnapot
+  version: "~> 1.0"
+- name: Svpbmt
+  version: "~> 1.0"
+- name: U
+  version: "~> 1.0"
+- name: Za128rs
+  version: "~> 1.0"
+- name: Za64rs
+  version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zawrs
+  version: "~> 1.0"
+- name: Zba
+  version: "~> 1.0"
+- name: Zbb
+  version: "~> 1.0"
+- name: Zbs
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcb
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0.0"
+- name: Zcmop
+  version: "~> 1.0"
+- name: Zfa
+  version: "~> 1.0"
+- name: Zic64b
+  version: "= 1.0"
+- name: Zicbom
+  version: "~> 1.0"
+- name: Zicbop
+  version: "~> 1.0"
+- name: Zicboz
+  version: "~> 1.0"
+- name: Ziccamoa
+  version: "~> 1.0"
+- name: Ziccif
+  version: "~> 1.0"
+- name: Zicclsm
+  version: "~> 1.0"
+- name: Ziccrse
+  version: "~> 1.0"
+- name: Zicntr
+  version: "~> 2.0"
+- name: Zicond
+  version: "~> 1.0"
+- name: Zicsr
+  version: "~> 2.0"
+- name: Zifencei
+  version: "~> 2.0"
+- name: Zihintntl
+  version: "~> 1.0"
+- name: Zihintpause
+  version: "~> 2.0"
+- name: Zihpm
+  version: "~> 2.0"
+- name: Zimop
+  version: "~> 1.0"
+- name: Zkt
+  version: "~> 1.0"
+- name: Zmmul
+  version: "~> 1.0.0"
+non_mandatory_extensions:
+- name: Sdtrig
+  version: "~> 1.0"
+- name: Sha
+  version: "~> 1.0"
+- name: Ssccfg
+  version: "~> 1.0"
+- name: Ssctr
+  version: "~> 1.0"
+- name: Ssdbltrp
+  version: "~> 1.0"
+- name: Ssnpm
+  version: "~> 1.0"
+- name: Sspm
+  version: "~> 1.0"
+- name: Ssqosid
+  version: "~> 1.0"
+- name: Ssstrict
+  version: "~> 1.0"
+- name: Sv48
+  version: "~> 1.0"
+- name: Sv57
+  version: "~> 1.0"
+- name: Svadu
+  version: "~> 1.0"
+- name: Svrsw60t59b
+  version: "~> 1.0"
+- name: Svvptc
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0"
+- name: Zcf
+  version: "~> 1.0"
+- name: Zfh
+  version: "~> 1.0"
+- name: Zfhmin
+  version: "~> 1.0"
+- name: Zkn
+  version: "~> 1.0"
+- name: Zkr
+  version: "~> 1.0"
+- name: Zks
+  version: "~> 1.0"
+additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: S_MODE_ENDIANNESS
+      equal: little
+    - name: SXLEN
+      includes: 64
+    - name: UXLEN
+      includes: 64

data/.data/cfgs/qc_iu.yaml

@@ -190,3 +190,17 @@ params:
   MTVEC_BASE_ALIGNMENT_DIRECT: 0x4
   MTVEC_BASE_ALIGNMENT_VECTORED: 0x4
   TIME_CSR_IMPLEMENTED: true
+  MEI_INTR_IMPL: false
+  MSI_INTR_IMPL: false
+  MTI_INTR_IMPL: false
+  WFI_U_MODE: false
+  WFI_FINITE: true
+  NON_STANDARD_EXTENSION_IMPLEMENTED: true
+  HPM_COUNTER3_WIDTH: 64
+  HPM_COUNTER4_WIDTH: 64
+  HPM_COUNTER5_WIDTH: 64
+  HPM_COUNTER6_WIDTH: 64
+  HPM_COUNTER7_WIDTH: 64
+  HPM_COUNTER8_WIDTH: 64
+  HPM_COUNTER9_WIDTH: 64
+  HPM_COUNTER10_WIDTH: 64