udb 0.1.9 → 0.1.14

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: eacb60feeaaca9c368b3e7785efe85a03e6cf32a228b2e9b73a75eee1e527a6b
-  data.tar.gz: da1c153ff0e163d593f2ece814b9e71d3de7a421795920f9f688913f26ae170e
+  metadata.gz: '033857ac50551c786b5857f54a78a91f6a2c3d8c46554eb0dae62cbc489b9ab4'
+  data.tar.gz: dce0e09b88581e3cc6dc13de86d7e5a72c8c2377e66aca53994d6a0c239ec3a2
 SHA512:
-  metadata.gz: 920b67cb9bf2b9a6227b1251c3387050e2ea9257d400152dfc10c71dd53ff7f79bbf336749859755d415dff899b0f519a764a8e75e9d0c62d0cfedb88cef09fa
-  data.tar.gz: 34d834ebf04de3fc3da7e9ea61e84236235ef4001aadb4f53237d8afbdf5f169064ddad49c717eedee9444e4860875105623b7ef6b292a2ab94364404d9f6afa
+  metadata.gz: 5b0efc566225e863a99ba9c1818a47ef57590bdd7d8e5f37a3937b6c7fb7b94bfe409d96a9e0c886fcb74e2eac312bc3023ebe72e55128043f578acf6a576dca
+  data.tar.gz: fe01c90f6363a506d6191b2a6ac5f39acb91ca241a00a83951b83e2af680895cb56b140d826f0010bb00f21e723794b03415f543afe41c54fe701d942ed2e444

data/.data/cfgs/example_rv64_with_overlay.yaml

@@ -46,8 +46,8 @@ implemented_extensions:
   - [Ssaia, "1.0.0"]
   - [Ssccfg, "1.0.0"]
   - [Sstc, "1.0.0"]
-  - [Sv39, "1.12.0"]
-  - [Sv48, "1.12.0"]
+  - [Sv39, "1.0"]
+  - [Sv48, "1.0"]
   - [Zicboz, "1.0.0"]
   - [Zicbom, "1.0.0"]
 
@@ -304,6 +304,9 @@ params:
   # Whether or not the `misa` CSR returns zero or a non-zero value.
   MISA_CSR_IMPLEMENTED: true
 
+  # Whether or not the `mcountinhibit` CSR is implemented.
+  MCOUNTINHIBIT_IMPLEMENTED: true
+
   # when true, *tval is written with the virtual PC of the EBREAK instruction (same information as *epc)
   # when false, *tval is written with 0 on an EBREAK instruction
   #
@@ -355,23 +358,21 @@ params:
   # this address is reported in the mconfigptr CSR
   CONFIG_PTR_ADDRESS: 0x1000
 
-  # number of implemented PMP entries. Can be any value between 0-64, inclusive.
-  #
-  # the number of implemented PMP registers must be 0, 16, or 64.
-  #
-  # Therefore, whether or not a pmpaddrN or pmpcfgN register exists depends on
-  # NUM_PMP_ENTRIES as follows:
-  # |===
-  # | NUM_PMP_ENTRIES | pmpaddr<0-15> / pmpcfg<0-3> | pmpaddr<16-63> / pmpcfg<4-15>
-  # | 0               | N                           | N
-  # | 1-16            | Y                           | N
-  # | 17-64           | Y                           | Y
-  # |===
-  # ** pmpcfgN for an odd N never exist when XLEN == 64
-  #
-  # when NUM_PMP_ENTRIES is not exactly 0, 16, or 64, some extant pmp registers,
-  # and associated pmpNcfg, will be read-only zero (but will not cause an exception).
-  NUM_PMP_ENTRIES: 14
+  # number of implemented PMP entries, some may be read-only zero.
+  # Must be 0, 16, or 64.
+  NUM_PMP_ENTRIES: 16
+
+  # number of implemented PMP entries that are actually usable (writable).
+  # Must be between 0 and NUM_PMP_ENTRIES, inclusive. Entries at and above this
+  # index are implemented as read-only zero (they exist but cannot be
+  # configured). Here, 16 entries are implemented but only 14 are usable.
+  NUM_USABLE_PMP_ENTRIES: 14
+
+  # Which PMP address matching modes are supported.
+  # NA4 must be false unless PMP_GRANULARITY == 2 (4-byte granularity).
+  PMP_TOR_SUPPORTED: true
+  PMP_NA4_SUPPORTED: false
+  PMP_NAPOT_SUPPORTED: true
 
   # log2 of the smallest supported PMP region
   # generally, for systems with an MMU, should not be smaller than 12,
@@ -593,7 +594,6 @@ params:
   MTVEC_BASE_ALIGNMENT_DIRECT: 4
   MTVEC_BASE_ALIGNMENT_VECTORED: 4
   MSTATUS_FS_LEGAL_VALUES: [0, 1, 2, 3]
-  MSTATUS_TVM_IMPLEMENTED: true
   HW_MSTATUS_FS_DIRTY_UPDATE: precise
   MSTATUS_VS_LEGAL_VALUES: [0, 1, 2, 3]
   HW_MSTATUS_VS_DIRTY_UPDATE: precise

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

@@ -46,6 +46,7 @@ params:
   PMA_GRANULARITY: 12
   PHYS_ADDR_WIDTH: 32
   MISA_CSR_IMPLEMENTED: true
+  MCOUNTINHIBIT_IMPLEMENTED: true
   MTVEC_ACCESS: rw
   MTVEC_ILLEGAL_WRITE_BEHAVIOR: retain
   MTVEC_MODES: [0, 1]

data/.data/cfgs/profile/README.adoc

@@ -0,0 +1,10 @@
+= Profile Configurations
+
+Configs in `cfgs/profile` are generated from the specifications in `spec/std/isa/profile`.
+They are partial configurations that represent a profile-compliant implementation.
+
+The profile configurations are _strict_.
+That is, they list the extension/params listed in the profile spec,
+plus any extensions/params that are required transitively (e.g., A requires Zaamo and Zalrsc)
+
+The strict configs are compatible with non-strict configs (simply more expressive).

data/.data/cfgs/profile/RVA20S64.yaml

@@ -10,23 +10,24 @@ kind: architecture configuration
 type: partially configured
 name: RVA20S64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
   version: "~> 2.0"
 - name: S
   version: "~> 1.11"
+- name: Sm
+  version: "~> 1.12.0"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sstvala
@@ -34,7 +35,7 @@ mandatory_extensions:
 - name: Sstvecd
   version: "~> 1.0"
 - name: Sv39
-  version: "~> 1.11"
+  version: "~> 1.0"
 - name: Svade
   version: "~> 1.0"
 - name: Svbare
@@ -43,6 +44,14 @@ mandatory_extensions:
   version: "~> 1.0"
 - name: Za128rs
   version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcd
+  version: "~> 1.0.0"
 - name: Ziccamoa
   version: "~> 1.0"
 - name: Ziccif
@@ -61,7 +70,7 @@ non_mandatory_extensions:
 - name: Ssu64xl
   version: "~> 1.0"
 - name: Sv48
-  version: "~> 1.11"
+  version: "~> 1.0"
 - name: Zca
   version: "~> 1.0"
 - name: Zcd
@@ -71,3 +80,14 @@ non_mandatory_extensions:
 - name: Zihpm
   version: "~> 2.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/RVA20U64.yaml

@@ -10,17 +10,16 @@ kind: architecture configuration
 type: partially configured
 name: RVA20U64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
@@ -29,6 +28,14 @@ mandatory_extensions:
   version: "~> 1.0"
 - name: Za128rs
   version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcd
+  version: "~> 1.0.0"
 - name: Ziccamoa
   version: "~> 1.0"
 - name: Ziccif
@@ -51,3 +58,10 @@ non_mandatory_extensions:
 - name: Zihpm
   version: "~> 2.0"
 additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: UXLEN
+      includes: 64

data/.data/cfgs/profile/RVA22S64.yaml

@@ -10,8 +10,7 @@ kind: architecture configuration
 type: partially configured
 name: RVA22S64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
@@ -20,15 +19,17 @@ mandatory_extensions:
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
   version: "~> 2.0"
 - name: S
   version: "~> 1.12"
+- name: Sm
+  version: "~> 1.12.0"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscounterenw
@@ -38,7 +39,7 @@ mandatory_extensions:
 - name: Sstvecd
   version: "~> 1.0"
 - name: Sv39
-  version: "~> 1.12"
+  version: "~> 1.0"
 - name: Svade
   version: "~> 1.0"
 - name: Svbare
@@ -53,12 +54,20 @@ mandatory_extensions:
   version: "~> 1.0"
 - name: Za64rs
   version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
 - name: Zba
   version: "~> 1.0"
 - name: Zbb
   version: "~> 1.0"
 - name: Zbs
   version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcd
+  version: "~> 1.0.0"
 - name: Zfhmin
   version: "~> 1.0"
 - name: Zic64b
@@ -99,9 +108,9 @@ non_mandatory_extensions:
 - name: Ssu64xl
   version: "~> 1.0"
 - name: Sv48
-  version: "~> 1.12"
+  version: "~> 1.0"
 - name: Sv57
-  version: "~> 1.12"
+  version: "~> 1.0"
 - name: Svnapot
   version: "~> 1.0"
 - name: V
@@ -121,3 +130,14 @@ non_mandatory_extensions:
 - 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/profile/RVA22U64.yaml

@@ -10,8 +10,7 @@ kind: architecture configuration
 type: partially configured
 name: RVA22U64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
@@ -20,9 +19,9 @@ mandatory_extensions:
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
@@ -33,12 +32,20 @@ mandatory_extensions:
   version: "~> 1.0"
 - name: Za64rs
   version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
 - name: Zba
   version: "~> 1.0"
 - name: Zbb
   version: "~> 1.0"
 - name: Zbs
   version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcd
+  version: "~> 1.0.0"
 - name: Zfhmin
   version: "~> 1.0"
 - name: Zic64b
@@ -83,3 +90,10 @@ non_mandatory_extensions:
 - name: Zks
   version: "~> 1.0"
 additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: UXLEN
+      includes: 64

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

@@ -10,8 +10,7 @@ kind: architecture configuration
 type: partially configured
 name: RVA23S64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
@@ -20,9 +19,11 @@ mandatory_extensions:
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
+- name: H
+  version: "~> 1.0"
 - name: I
   version: "~> 2.1"
 - name: M
@@ -31,6 +32,20 @@ mandatory_extensions:
   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.0"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf
@@ -39,6 +54,8 @@ mandatory_extensions:
   version: "~> 1.0"
 - name: Ssnpm
   version: "~> 1.0"
+- name: Ssstateen
+  version: "~> 1.0"
 - name: Sstc
   version: "~> 1.0"
 - name: Sstvala
@@ -69,6 +86,10 @@ mandatory_extensions:
   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
@@ -77,8 +98,12 @@ mandatory_extensions:
   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
@@ -108,7 +133,7 @@ mandatory_extensions:
 - name: Zicsr
   version: "~> 2.0"
 - name: Zifencei
-  version: "~> 1.0"
+  version: "~> 2.0"
 - name: Zihintntl
   version: "~> 1.0"
 - name: Zihintpause
@@ -121,10 +146,28 @@ mandatory_extensions:
   version: "~> 1.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"
@@ -133,9 +176,9 @@ non_mandatory_extensions:
 - name: Ssstrict
   version: "~> 1.0"
 - name: Sv48
-  version: "~> 1.13"
+  version: "~> 1.0"
 - name: Sv57
-  version: "~> 1.13"
+  version: "~> 1.0"
 - name: Svadu
   version: "~> 1.0"
 - name: Svvptc
@@ -149,3 +192,14 @@ non_mandatory_extensions:
 - 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/RVA23U64.yaml

@@ -10,8 +10,7 @@ kind: architecture configuration
 type: partially configured
 name: RVA23U64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
@@ -20,9 +19,9 @@ mandatory_extensions:
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
@@ -37,6 +36,10 @@ mandatory_extensions:
   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
@@ -45,8 +48,12 @@ mandatory_extensions:
   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
@@ -87,10 +94,28 @@ mandatory_extensions:
   version: "~> 1.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: Zabha
   version: "~> 1.0"
@@ -129,3 +154,10 @@ non_mandatory_extensions:
 - name: Zvksg
   version: "~> 1.0"
 additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: UXLEN
+      includes: 64

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

@@ -10,8 +10,7 @@ kind: architecture configuration
 type: partially configured
 name: RVB23S64
 description:
-params:
-  MXLEN: 64
+params: {}
 mandatory_extensions:
 - name: A
   version: "~> 2.1"
@@ -20,15 +19,17 @@ mandatory_extensions:
 - name: C
   version: "~> 2.0"
 - name: D
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: F
-  version: "~> 2.2"
+  version: "~> 2.2.0"
 - name: I
   version: "~> 2.1"
 - name: M
   version: "~> 2.0"
 - name: S
   version: "~> 1.13"
+- name: Sm
+  version: "~> 1.13.0"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf
@@ -61,6 +62,10 @@ mandatory_extensions:
   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
@@ -69,8 +74,12 @@ mandatory_extensions:
   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
@@ -98,7 +107,7 @@ mandatory_extensions:
 - name: Zicsr
   version: "~> 2.0"
 - name: Zifencei
-  version: "~> 1.0"
+  version: "~> 2.0"
 - name: Zihintntl
   version: "~> 1.0"
 - name: Zihintpause
@@ -121,9 +130,9 @@ non_mandatory_extensions:
 - name: Ssstrict
   version: "~> 1.0"
 - name: Sv48
-  version: "~> 1.13"
+  version: "~> 1.0"
 - name: Sv57
-  version: "~> 1.13"
+  version: "~> 1.0"
 - name: Svadu
   version: "~> 1.0"
 - name: Svvptc
@@ -145,3 +154,14 @@ non_mandatory_extensions:
 - 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