跳到主要内容

PTO-ARCH-PROFILE-APPLICABILITY

PTO-ARCH-PROFILE-APPLICABILITY

ASL 伪代码

下面直接显示完整的 ASL 所有者。

// PTO-UNIT: {"id":"PTO-ARCH-PROFILE-APPLICABILITY","surface":"arch","classification":["profile","applicability"],"depends_on":["PTO-ARCH-PROFILE-RESET"]}readonly implementation func SystemRegisterAccessPermitted(    address: SystemRegisterAddress, write: boolean,    ring: AccessControlRing) => booleanbegin    // Base registers are available at every level. Context, translation, and    // debug register families are ACR0-only in the PTO v0 profile.    return UInt(address[11:0]) < 0x0f00 || ring == 0;end;

架构行为

目的与范围

用途与范围

本单元实现 PTO v0 的系统寄存器访问控制规则。它判断给定 AccessControlRing 是否允许读取或写入某个 SystemRegisterAddress。

概念与架构状态

地址与权限输入

  • 判断接收寄存器 address、write 标志以及当前 ring。
  • PTO v0 规则使用地址低 12 位和 ACR 层级编号。
  • 基础寄存器位于低于 0x0f00 的地址；上下文、地址转换和调试寄存器族从该边界开始。
规则与交互

访问规则

当地址低 12 位小于 0x0f00 时，SystemRegisterAccessPermitted 返回真。达到或超过 0x0f00 时，只有 ring == 0 才返回真。当前实现对读取与写入使用同一边界。

边界与未定义范围

配置档边界

这是 PTO v0 参考配置档的 implementation 函数。它并不承诺每个未来具名配置档都采用相同地址分界或权限规则。

使用示例

示例性访问示例

本示例块只用于帮助阅读：先应用上文规则，再到规范 ASL 所有者中确认结果。它不会增加任何架构契约。

相关所有者

  • 配置档重置建立初始 ACR 与寄存器状态。
  • 系统寄存器访问指令在产生效果前调用该配置档判定函数。

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

No NDF clause is attached to this unit.

Evidence index

10 matching entries

Executable evidence1
  • PTO-ARCH-PROFILE-APPLICABILITY compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-PROFILE-APPLICABILITY
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-PROFILE-APPLICABILITY-STATIC-001
    Path
    tests/asl/arch/profile/applicability/arch-static-applicability-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    72e3606eddaf180815dfda25f6e262401c3e8d840afe5b2e43f4087568c8a87d
    Open exact source ↗ for PTO-AVS-ARCH-PROFILE-APPLICABILITY-STATIC-001
Commit-scoped evidence5
  • spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-TRACEABILITY
    Path
    spec/evidence/release-traceability-readiness.json
    Kind / role
    ASL/NDF/documentation/AVS traceability
    SHA-256
    c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
  • spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
    Path
    spec/evidence/instruction-contract-closure.json
    Kind / role
    mnemonic and encoding contract closure
    SHA-256
    3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
    Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
  • spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-ARCHITECTURE-READINESS
    Path
    spec/evidence/architecture-readiness.json
    Kind / role
    architecture maturity and blockers
    SHA-256
    4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
    Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
  • spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-GATE-READINESS
    Path
    spec/evidence/release-gate-readiness.json
    Kind / role
    exact-head gate readiness
    SHA-256
    a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
  • spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-MANIFEST
    Path
    spec/release-manifest.json
    Kind / role
    release content and encoding fingerprints
    SHA-256
    1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST
Decision history4
  • PTO v0 concrete reference profile · accepted
    1. decision recordADR
    2. case0005

    Decision record

    Loading ADR-0005…

    Sources and references
    Complete stable ID
    ADR-0005
    Path
    docs/status/decisions/0005-pto-v0-concrete-reference-profile.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-EXTENSION-FIRST-USE, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION, PTO-ARCH-PROFILE-RESET, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY
    Affected NDF
    PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001, PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    a83528c2fc744cc120c2a0a32c82410059638ea88936fa65ac0eb36a0274d87c
    Open exact decision source ↗ for ADR-0005
  • Numeric profile identity and bounded variation framework · accepted
    1. decision recordADR
    2. case0037

    Decision record

    Loading ADR-0037…

    Sources and references
    Complete stable ID
    ADR-0037
    Path
    docs/status/decisions/0037-numeric-profile-identity-and-variation-framework.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
    Affected NDF
    PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    b09efd36ccfc7258d1743c974f42b875ead42137c503f576a12f471f65b52e30
    Open exact decision source ↗ for ADR-0037
  • Numeric variation-point ownership · accepted
    1. decision recordADR
    2. case0042

    Decision record

    Loading ADR-0042…

    Sources and references
    Complete stable ID
    ADR-0042
    Path
    docs/status/decisions/0042-numeric-variation-point-ownership.md
    Affected units
    PTO-ARCH-PROFILE-APPLICABILITY, PTO-ARCH-PROFILE-E8M0-CONVERSION, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION
    Affected NDF
    PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001, PTO-TCVT-E8M0-PROFILE-001
    SHA-256
    f25df23306837e4199f6b7c03f70de853a693fdc6435c65ead57b2a174076081
    Open exact decision source ↗ for ADR-0042
  • Hardware numeric subnormal policy · accepted
    1. decision recordADR
    2. case0049

    Decision record

    Loading ADR-0049…

    Sources and references
    Complete stable ID
    ADR-0049
    Path
    docs/status/decisions/0049-hardware-subnormal-policy.md
    Affected units
    PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS, PTO-ARCH-PROFILE-APPLICABILITY
    Affected NDF
    PTO-NUMERIC-FINITE-DECOMPOSITION-001, PTO-NUMERIC-FORMAT-DESCRIPTOR-001
    SHA-256
    ac969b6247bbaa16e480ae96c9f227f68ffa859d06121df838c8d3b6f141ca3a
    Open exact decision source ↗ for ADR-0049

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-PROFILE-APPLICABILITY
surface
arch
classification
[
  "profile",
  "applicability"
]
depends_on
[
  "PTO-ARCH-PROFILE-RESET"
]
Open generated traceability record
{
  "classification": [
    "profile",
    "applicability"
  ],
  "documentation": "docs/arch/profile/applicability.md",
  "id": "PTO-ARCH-PROFILE-APPLICABILITY",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0005",
    "ADR-0037",
    "ADR-0042",
    "ADR-0049"
  ],
  "semantic_tests": [],
  "source": "asl/arch/profile/applicability.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-PROFILE-APPLICABILITY-STATIC-001"
  ]
}

来源与发布信息

展开 commit、路径、hash、版本和规范所有者
发布
0.58.5 · 候选发布
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
原始 ASL
asl/arch/profile/applicability.asl
ASL SHA-256
b3734d16ed92c3e7f9d8a99047009c8b0996cbeb88a087296c12696d9965de41
生成文档
docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/profile/applicability.md · 已融合到当前页面
文档 SHA-256
2cf3c1353c94f4dfedc2459341c8db37e26f07520c440335e05554bab30daf0e

精确所有者