Skip to main content

PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS

PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS

ASL pseudocode

The complete ASL owner is shown directly below.

// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS","surface":"arch","classification":["data-types","system-registers"],"depends_on":["PTO-ARCH-DATA-TYPES-MEMORY-OPERATIONS"]}type SystemRegister of enumeration {    SystemRegister_THREAD_PTR,    SystemRegister_GLOBAL_PTR,    SystemRegister_TIME,    SystemRegister_CORE_STATE,    SystemRegister_CORE_ID,    SystemRegister_THREAD_ID,    SystemRegister_VENDOR,    SystemRegister_VERSION,    SystemRegister_CORE_FEATURE,    SystemRegister_CORE_FEATURE_ENABLE,    SystemRegister_TILE_CAPACITY,    SystemRegister_BLOCKNUM,    SystemRegister_BLOCKID,    SystemRegister_CYCLE};
type SystemRegisterAccess of enumeration {    SystemRegisterAccess_Unknown,    SystemRegisterAccess_ReadOnly,    SystemRegisterAccess_WriteOnly,    SystemRegisterAccess_ReadWrite};
type MaintenanceOperation of enumeration {    Maintenance_DC_IALL,    Maintenance_DC_IVA,    Maintenance_DC_ISW,    Maintenance_DC_ZVA,    Maintenance_DC_CVA,    Maintenance_DC_CIVA,    Maintenance_DC_CSW,    Maintenance_DC_CISW,    Maintenance_IC_IALL,    Maintenance_IC_IVA,    Maintenance_BC_IALL,    Maintenance_BC_IVA,    Maintenance_TLB_IV,    Maintenance_TLB_IAV,    Maintenance_TLB_IA,    Maintenance_TLB_IALL};

Architecture behavior

purpose scope

Purpose and scope

This unit defines the shared symbolic namespaces for base system registers, access classes, and cache/TLB maintenance operations.

It supplies typed identities; address mapping, access control, register state, and maintenance effects are owned elsewhere.

concepts state

Concepts and visible state

  • SystemRegister names thread/global pointers, time/cycle, core and thread identity, vendor/version/features, tile capacity, and block identity registers.
  • SystemRegisterAccess distinguishes unknown, read-only, write-only, and read-write access classes.
  • MaintenanceOperation names data-cache, instruction-cache, bundle-cache, and TLB invalidation or cleaning variants.
rules interactions

Rules and interactions

An enum member identifies a register or operation but does not assign its encoded address.

Access classification is separate from the current access-control ring and concrete read/write behavior.

Maintenance variants remain distinct, including whole-cache, virtual-address, and set/way forms where declared.

boundaries

Architectural boundaries

This unit does not create the system-register file and does not state reset values. Follow the state and addressing owners for those contracts.

A declared maintenance identity does not by itself guarantee instruction availability or define epoch changes; the executing owner supplies those effects.

example usage

illustrative reading example

SystemRegister_TIME names a system register.

The addressing and timer/state owners define its architectural address and value behavior.

Maintenance_TLB_IALL identifies the all-entry TLB operation.

The invoking instruction still owns legality, operands, and visible maintenance state changes.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

No NDF clause is attached to this unit.

Evidence index

7 matching entries

Executable evidence2
  • PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-DATA-TYPES-SYSTEM-REGISTERS-STATIC-001
    Path
    tests/asl/arch/data-types/system-registers/arch-static-system-registers-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    38595ee185c2a60f53c1891789873305fa99d6f671b799d52730da905a2074b6
    Open exact source ↗ for PTO-AVS-ARCH-DATA-TYPES-SYSTEM-REGISTERS-STATIC-001
  • Covers System Register Reset And Access.
    1. surfaceARCH
    2. ownerPTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001
    Path
    tests/asl/arch/data-types/system-registers/arch-state-register-reset-and-access-001.asl
    Kind / role
    state-transition
    Pass condition
    ValidateSystemRegisterResetAndAccess completes without assertion failure
    SHA-256
    046651bc0c9c22947339f8cbf2f8cd529277ad1c694f0bbd8e4042125b1369c5
    Open exact source ↗ for PTO-AVS-ARCH-SYSREG-RESET-ACCESS-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

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
surface
arch
classification
[
  "data-types",
  "system-registers"
]
depends_on
[
  "PTO-ARCH-DATA-TYPES-MEMORY-OPERATIONS"
]
Open generated traceability record
{
  "classification": [
    "data-types",
    "system-registers"
  ],
  "documentation": "docs/arch/data-types/system-registers.md",
  "id": "PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [
    "PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001"
  ],
  "source": "asl/arch/data-types/system-registers.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-DATA-TYPES-SYSTEM-REGISTERS-STATIC-001",
    "PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners
Release
0.58.5 · Release candidate
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL
asl/arch/data-types/system-registers.asl
ASL SHA-256
c1f9c741dd9e4f1d18eba487fc0a536bf3b5911b5c02909808d959ea8476f6b7
Generated documentation
docs/arch/data-types/system-registers.md · embedded in this page
Documentation SHA-256
4a98228ca133794578d1efcb7cf622b5cb0d34bd11d17697cc749d8b3340f853

Exact owners