udb 0.1.9 → 0.1.13

data/.data/spec/schemas/proc_cert_model_schema.json

@@ -1,336 +0,0 @@
-{
-  "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "v0.1",
-  "type": "object",
-  "required": ["$schema", "kind", "name", "long_name", "base"],
-  "additionalProperties": false,
-  "properties": {
-    "$inherits": {
-      "oneOf": [
-        {
-          "type": "string",
-          "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-        },
-        {
-          "type": "array",
-          "items": {
-            "type": "string",
-            "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-          },
-          "uniqueItems": true
-        }
-      ]
-    },
-    "$child_of": {
-      "oneOf": [
-        {
-          "type": "string",
-          "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-        },
-        {
-          "type": "array",
-          "items": {
-            "type": "string",
-            "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-          },
-          "uniqueItems": true
-        }
-      ]
-    },
-    "$parent_of": {
-      "oneOf": [
-        {
-          "type": "string",
-          "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-        },
-        {
-          "type": "array",
-          "items": {
-            "type": "string",
-            "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-          },
-          "uniqueItems": true
-        }
-      ]
-    },
-    "$schema": {
-      "const": "proc_cert_model_schema.json#"
-    },
-    "kind": {
-      "const": "processor certificate model"
-    },
-    "name": {
-      "type": "string",
-      "pattern": "^[A-Z][a-zA-Z0-9_-]*$",
-      "description": "The short name of the model, used as a database key"
-    },
-    "long_name": {
-      "type": "string",
-      "description": "One line description of certificate model"
-    },
-    "class": {
-      "type": "object",
-      "properties": {
-        "$ref": {
-          "type": "string",
-          "pattern": "^proc_cert_class/[A-Z][a-zA-Z0-9_]*\\.yaml#"
-        }
-      },
-      "description": "Reference to the class this model belongs to"
-    },
-    "versions": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "required": ["version"],
-        "properties": {
-          "version": {
-            "$ref": "schema_defs.json#/$defs/semantic_version"
-          }
-        },
-        "additionalProperties": false
-      },
-      "minItems": 1,
-      "description": "List of semantic versions within the model"
-    },
-    "base": {
-      "enum": [32, 64],
-      "description": "Base of the model"
-    },
-    "revision_history": {
-      "type": "array",
-      "items": {
-        "$ref": "schema_defs.json#/$defs/revision_history_entry"
-      },
-      "minItems": 1,
-      "description": "Revisions of the model document"
-    },
-    "introduction": {
-      "type": "string",
-      "description": "Asciidoc text containing the introduction prose for the model"
-    },
-    "tsc_profile_release": {
-      "oneOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "required": ["$ref"],
-          "properties": {
-            "$ref": {
-              "type": "string",
-              "pattern": "^profile_release/[A-Z][a-zA-Z0-9_]*\\.yaml#"
-            }
-          },
-          "additionalProperties": false
-        }
-      ],
-      "description": "Profile release associated with this certificate"
-    },
-    "unpriv_isa_manual_revision": {
-      "type": "string"
-    },
-    "priv_isa_manual_revision": {
-      "type": "string"
-    },
-    "debug_manual_revision": {
-      "type": "string"
-    },
-    "in_scope_priv_modes": {
-      "type": "array",
-      "items": {
-        "enum": ["M", "S", "U", "HS", "VS", "VU"]
-      },
-      "uniqueItems": true,
-      "minItems": 1,
-      "description": "List of in-scope privilege modes for the certificate"
-    },
-    "extensions": {
-      "type": "object",
-      "additionalProperties": false,
-      "patternProperties": {
-        "\\$inherits": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "\\$child_of": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "\\$parent_of": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^proc_cert_model/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^proc_cert_model/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "^([A-WY])|([SXZ][a-z0-9]+)$": {
-          "type": "object",
-          "properties": {
-            "version": {
-              "$ref": "schema_defs.json#/$defs/requirement_string"
-            },
-            "presence": {
-              "$ref": "schema_defs.json#/$defs/extension_presence"
-            },
-            "note": {
-              "type": "string"
-            }
-          },
-          "additionalProperties": false
-        }
-      }
-    },
-    "param_constraints": {
-      "type": "object",
-      "patternProperties": {
-        "^[A-Z][A-Z0-9_]+$": {
-          "$ref": "schema_defs.json#/$defs/parameter_constraint"
-        }
-      }
-    },
-    "requirement_groups": {
-      "type": "object",
-      "additionalProperties": false,
-      "patternProperties": {
-        "\\$inherits": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "\\$child_of": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^(profile|proc_cert_model)/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "\\$parent_of": {
-          "oneOf": [
-            {
-              "type": "string",
-              "pattern": "^proc_cert_model/.*\\.yaml#.*"
-            },
-            {
-              "type": "array",
-              "items": {
-                "type": "string",
-                "pattern": "^proc_cert_model/.*\\.yaml#.*"
-              },
-              "uniqueItems": true
-            }
-          ]
-        },
-        "^[A-Za-z0-9_-]+$": {
-          "type": "object",
-          "properties": {
-            "name": {
-              "type": "string"
-            },
-            "requirements": {
-              "type": "array",
-              "items": {
-                "type": "object",
-                "properties": {
-                  "name": {
-                    "type": "string"
-                  },
-                  "description": {
-                    "type": "string"
-                  },
-                  "when": {
-                    "$ref": "schema_defs.json#/$defs/when_condition"
-                  }
-                },
-                "additionalProperties": false
-              }
-            }
-          }
-        }
-      }
-    },
-    "extra_notes": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "presence": {
-            "$ref": "schema_defs.json#/$defs/extension_presence"
-          },
-          "text": {
-            "type": "string"
-          }
-        },
-        "additionalProperties": false
-      }
-    },
-    "recommendations": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "properties": {
-          "text": {
-            "type": "string"
-          }
-        }
-      }
-    },
-    "$source": {
-      "$ref": "schema_defs.json#/$defs/$source"
-    }
-  }
-}

data/.data/spec/std/isa/proc_cert_class/AC.yaml

@@ -1,13 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_class_schema.json
-
-$schema: proc_cert_class_schema.json#
-kind: processor certificate class
-processor_kind: Apps Processor
-name: AC
-long_name: Apps Processor Certificate Class
-
-introduction: |
-  The AC (Apps processor Class) targets processors that support virtual memory and run rich operating systems such as Linux and Android.

data/.data/spec/std/isa/proc_cert_class/MC.yaml

@@ -1,13 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_class_schema.json
-
-$schema: proc_cert_class_schema.json#
-kind: processor certificate class
-processor_kind: Microcontroller
-name: MC
-long_name: Microcontroller Processor Certificate Class
-
-introduction: |
-  The MC (Microcontroller Class) targets processors running low-level software on an RTOS or bare-metal.

data/.data/spec/std/isa/proc_cert_class/RVI.yaml

@@ -1,16 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../schemas/proc_cert_class_schema.json
-
-$schema: proc_cert_class_schema.json#
-kind: processor certificate class
-processor_kind: Generic Unprivileged
-name: RVI
-long_name: RVI Certificate Class
-
-introduction: |
-  The RVI certificate class corresponds to the RVI Profile Family.
-  This certificate class only includes the RISC-V Unprivileged ISA.
-  Certificates for the RVI certificate class are intended for internal
-  use by the RVCP (RISC-V Certification Program).

data/.data/spec/std/isa/proc_cert_model/AC100.yaml

@@ -1,72 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: AC100
-long_name: AC100 Apps Processor Certificate based on the RVB23 profile release
-class:
-  $ref: proc_cert_class/AC.yaml#
-
-  # MXLEN used by rakefile
-base: 64
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-revision_history:
-  - revision: "0.1.0"
-    date: "2025-02-03"
-    changes:
-      - Created
-
-introduction: |
-  The AC100 Processor Certificate targets RISC-V Apps Processors running rich operating systems such as
-  custom Yocto Linux.
-  Software source code compatibility is a strong requirement and binary compatibility is a lesser requirement.
-
-  AC100 is based on the following:
-
-  * RVB23 Profile without Hypervisor or Vector support
-  * M-mode requirements
-  * AIA or PLIC interrupt controller
-  * Debug and trace (TBD)
-
-# Specification versions
-tsc_profile_release:
-  $ref: profile_release/RVB23.yaml#
-unpriv_isa_manual_revision: "20240411"
-priv_isa_manual_revision: "20240411"
-debug_manual_revision: "1.0.0"
-
-# Certificate doesn't include hypervisor
-in_scope_priv_modes:
-  - U
-  - S
-  - M
-
-extensions:
-  $inherits:
-    - "profile/RVB23M64.yaml#/extensions"
-requirement_groups:
-  m_mode_reqs:
-    name: M-mode Requirements
-    description: |
-      Extra requirements for M-mode beyond the minimum M-mode defined by the Sm extension.
-      These extra requirements come from https://github.com/riscv/riscv-profiles/blob/main/src/old-m-profiles.adoc.
-    requirements:
-      - name: REQ-M_Mode-Non_Zero_CSRs
-        description: The `mvendorid`, `marchid`, and `mimpid` CSRs must be nonzero.
-      - name: REQ-M_Mode-mstatus_writable_fields
-        description: The `mstatus.TVM`, `mstatus.TW`, and `mstatus.TSR` CSR fields must be writable.
-      - name: REQ-M_Mode-medeleg_writable_bits
-        description: The `medeleg` CSR bits 3, 8, 12, 13, and 15 must be writable.
-      - name: REQ-M_Mode-mideleg_writable_bits
-        description: The `mideleg` CSR bits 1, 5, and 9 must be writable.
-      - name: REQ-M_Mode-mideleg_readonlyzero_bits
-        description: The `mideleg` CSR bits 3, 7, and 11 must be read-only zero.
-      - name: REQ-M_Mode-mcounteren_writable_bits
-        description: For any `mhpmcounter` that is writable, the corresponding bit in `mcounteren` must be writable.

data/.data/spec/std/isa/proc_cert_model/AC200.yaml

@@ -1,58 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: AC200
-long_name: AC200 Apps Processor Certificate based on the RVA23 profile release
-class:
-  $ref: proc_cert_class/AC.yaml#
-
-  # MXLEN used by rakefile
-base: 64
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-revision_history:
-  - revision: "0.1.0"
-    date: "2025-03-07"
-    changes:
-      - Created
-
-introduction: |
-  The AC200 Processor Certificate targets RISC-V Apps Processors running rich operating systems such as
-  commercial Linux distributions or Android.
-  Software source code compatibility and binary compatibility between implementations are strong requirements.
-
-  AC200 is based on the following:
-
-  * RVA23 Profile (includes mandatory Hypervisor and Vector support)
-  * M-mode requirements
-  * AIA or PLIC interrupt controller
-  * Debug and trace (TBD)
-
-# Specification versions
-tsc_profile_release:
-  $ref: profile_release/RVA23.yaml#
-unpriv_isa_manual_revision: "20240411"
-priv_isa_manual_revision: "20240411"
-debug_manual_revision: "1.0.0"
-
-in_scope_priv_modes:
-  - U
-  - S
-  - M
-  - HS
-  - VS
-  - VU
-
-extensions:
-  $inherits:
-    - "profile/RVA23M64.yaml#/extensions"
-requirement_groups:
-  $inherits:
-    - "proc_cert_model/AC100.yaml#/requirement_groups"

data/.data/spec/std/isa/proc_cert_model/MC100-32.yaml

@@ -1,155 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC100-32
-long_name: Basic 32-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-# MXLEN used by rakefile
-base: 32
-
-in_scope_priv_modes:
-  - M
-
-# History of this certificate.
-revision_history:
-  - revision: "0.9.0"
-    date: "2025-10-29"
-    changes:
-      - |
-        Made Zicntr from mandatory to optional since recent published ISA manuals have it as "recommended"
-  - revision: "0.8.0"
-    date: "2025-01-19"
-    changes:
-      - Updated so that content can apply equally to all certificate-related documents
-        such as CRDs (Certification Requirement Documents) and CTPs (Certification Test Plans).
-  - revision: "0.7.0"
-    date: "2024-07-29"
-    changes:
-      - First version after moving non-microcontroller content in this document to a new document
-        called "RISC-V CRDs (Certification Requirement Documents)"
-      - Change MC100 Unpriv ISA spec from
-        "https://riscv.org/wp-content/uploads/2016/06/riscv-spec-v2.1.pdf[riscv-spec-v2.1], May 31,
-        2016" to https://github.com/riscv/riscv-isa-manual/releases/tag/Ratified-IMAFDQC since the
-        former isn't ratified by the latter is the oldest ratified version.
-      - Added requirements for WFI instruction
-      - Added requirements related to msip memory-mapped register
-  - revision: "0.6.0"
-    date: "2024-07-11"
-    changes:
-      - Supporting multiple MC versions to support customers wanting to certify existing microcontrollers not using the latest version of ratified standards.
-      - Changed versioning scheme to use major.minor.patch instead of 3-digit major & minor.
-      - Added a table showing the mapping from MC version to ISA manuals.
-      - Reluctantly made interrupts OUT OF SCOPE for MC100 since only the CLINT interrupt controller
-        was ratified at that time and isn't anticipated to be the interrupt controller used by MC100 implementations.
-      - Clarified MANDATORY behaviors for mie and mip CSRs
-      - Removed canonical discovery recipe because the OPT-* options directly inform the certification
-        tests and certification reference model of the status of the various options. Also, canonical
-        discovery recipes (e.g., probing for CLIC) violate the certification approach of avoiding writing
-        potentially illegal values to CSR fields.
-      - Added more options for interrupts
-      - Moved non-microcontroller content in this document to a new document called "RISC-V Certification Plans"
-  - revision: "0.5.0"
-    date: "2024-06-03"
-    changes:
-      - Renamed to "RISC-V Microcontroller Certification Plan" based on Jason's recommendation
-      - Added mvendorid, marchid, mimpid, and mhardid read-only priv CSRs because Allen pointed out
-        these are mandatory in M-mode v1.13 (probably older versions too, haven't looked yet).
-      - Added table showing mapping of MC versions to associated RISC-V specifications
-  - revision: "0.4.0"
-    date: "2024-06-03"
-    changes:
-      - Added M-mode instruction requirements
-      - Made Zicntr MANDATORY due to very low cost for implementations to support (in the spirit of minimizing options).
-      - Removed OPT-CNTR-PREC since minstret and mcycle must be a full 64 bits to be standard-compliant.
-  - revision: "0.3.0"
-    date: "2024-05-25"
-    changes:
-      - Includes Zicntr as OPTIONAL and then has only 32-bit counters for instret and cycle.
-  - revision: "0.2.0"
-    date: "2024-05-20"
-    changes:
-      - Very early draft
-  - revision: "0.1.0"
-    date: "2024-05-16"
-    changes:
-      - Initial version
-
-introduction: |
-  The MC100 Processor Certificate targets basic RISC-V microcontrollers.
-  It supports either a 32-bit (MC100-32) or 64-bit (MC100-64) base ISA.
-  MC100 is not intended for the smallest possible microcontrollers but rather for applications
-  benefiting from a minimal but standardized microcontroller. It consists of:
-
-  * Unprivileged ISA: RV32I for MC100-32 and RV64I for MC100-64 with a few extensions suitable
-  for a basic microcontroller.
-  * Privileged ISA: Only the M-mode features listed as mandatory in the RISC-V Privileged ISA manual
-
-# Specification versions
-tsc_profile_release: null # None for MC100
-unpriv_isa_manual_revision: "20191213"
-priv_isa_manual_revision: "20190608-Priv-MSU-Ratified"
-debug_manual_revision: "0.13.2"
-
-# XXX - Remove version information since specifying priv/unpriv ISA manual should imply this.
-extensions:
-  I:
-    version: "~> 2.1"
-    presence: mandatory
-  C:
-    version: "~> 2.2"
-    presence: mandatory
-  M:
-    version: "~> 2.0"
-    presence: optional
-  Zicsr:
-    version: "~> 2.0"
-    presence: mandatory
-  Zicntr:
-    version: "~> 2.0"
-    presence: optional
-  Sm:
-    version: "~> 1.11.0"
-    presence: mandatory
-param_constraints:
-  TIME_CSR_IMPLEMENTED: {} # Unconstrained
-  MTVEC_BASE_ALIGNMENT_DIRECT: {} # Unconstrained
-  MTVEC_BASE_ALIGNMENT_VECTORED: {} # Unconstrained
-  ARCH_ID_VALUE: {} # Unconstrained
-  IMP_ID_VALUE: {} # Unconstrained
-  VENDOR_ID_BANK: {} # Unconstrained
-  VENDOR_ID_OFFSET: {} # Unconstrained
-  MISA_CSR_IMPLEMENTED: {} # Unconstrained
-  MTVAL_WIDTH: {} # Unconstrained
-  MTVEC_MODES: {} # Unconstrained
-  PHYS_ADDR_WIDTH: {} # Unconstrained
-  MISALIGNED_LDST: {} # Unconstrained
-  MISALIGNED_LDST_EXCEPTION_PRIORITY: {} # Unconstrained
-  MISALIGNED_MAX_ATOMICITY_GRANULE_SIZE: {} # Unconstrained
-  MISALIGNED_SPLIT_STRATEGY:
-    schema:
-      const: sequential_bytes
-  PRECISE_SYNCHRONOUS_EXCEPTIONS:
-    schema:
-      const: true
-  TRAP_ON_ECALL_FROM_M:
-    schema:
-      const: true
-  TRAP_ON_EBREAK:
-    schema:
-      const: true
-  M_MODE_ENDIANNESS:
-    schema:
-      const: little
-  MXLEN:
-    schema:
-      const: 32

data/.data/spec/std/isa/proc_cert_model/MC100-64.yaml

@@ -1,21 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC100-64
-long_name: Basic 64-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-$inherits: "proc_cert_model/MC100-32.yaml#"
-
-# MXLEN used by rakefile
-base: 64
-
-param_constraints:
-  MXLEN:
-    schema:
-      const: 64