跳到主要内容
NDF · contract · accepted

PTO-CUBE-ACCUMULATOR-OUTPUT-001

以下正文直接来自 canonical NDF owner。

1 个 owner

NDF 条款

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

    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryCUBE-ACCUMULATOR-OUTPUT
    4. case001

    规范契约

    contract · L1 · accepted

    Every Matrix ACC form MUST read explicit C and publish distinct D. C's encoded relative selector MUST differ from zero-extended DstTile before allocation, and direct Tile calls MUST use different C/D TileIndex values. C MUST persist while D, reductions, and numeric status publish atomically.

    来源与引用
    完整稳定 ID
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    来源路径
    asl/block/model/dispatch/cube-tmatmul.asl
    适用单元
    PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    源 SHA-256
    513fbf21974f558b4d1ca1a6bafbeb8b40d5545ece88c429856acf58d64c234f
    条款 SHA-256
    9336b57e4807bea272871e035bb85ff5acc21d856aa11bcf3e5f0961f00aab47
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

16 matching entries

Executable evidence9
  • PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL compiles as an independent normative unit
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL-STATIC-001
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-static-cube-tmatmul-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    45dce0bd4f7e68978b491c70631580891c1bc1a65490fc7966fbb6186a80ac5f
    Open exact source ↗ for PTO-AVS-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL-STATIC-001
  • ACC destination group rejects an undersized late auxiliary atomically
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case026
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-ATOMIC-026
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-acc-atomic-026.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    invalid GroupMax capacity publishes no D RowMax GroupMax allocation status or source change
    SHA-256
    b9e39b2be88eaee5ae74733c9b28dc54549bd5dfd97eac1f3df2688264486404
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-ATOMIC-026
  • Converted D keeps C M layout but derives final dtype CELL geometry
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATE-TRANSITION
    4. case023
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-CONVERT-023
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-acc-convert-023.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    FP32 C remains two cells and unchanged while FP16 D publishes one cell for the same logical MxN
    SHA-256
    d53ca254ab4f0372726ef47ce42c1650c9785edff47e5981db6ce9a79f4f0de7
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-CONVERT-023
  • Decoded ACC rejects equal C relative selector and D destination hand
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case021
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-INDEX-021
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-acc-index-021.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    selector one and DstTile one fault before rename allocation source payload or numeric status
    SHA-256
    67f1de937c125f2528f78a4b8256740128469ebb49589a0fd4e4afd175608526
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-INDEX-021
  • ACC RowMax and GroupMax observe raw P before destination conversion
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case025
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-REDUCE-025
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-acc-reduce-025.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    FP16 D contains converted values while both reductions contain the raw FP32 maximum
    SHA-256
    56c78724b9d9b8bf1fc4bcb67d01ee3dc8c2d3304266db45588d14ab47e09544
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-REDUCE-025
  • A prior accumulator-type D may be explicitly rebound as C in a later block
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case024
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-REUSE-024
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-acc-reuse-024.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    two distinct destination requests produce eleven then seventeen while preserving the first D snapshot
    SHA-256
    8cb8823aed5a2bc727abfc1d8ebf14b188c4916f4cfe134cc18184039e9fe362
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-REUSE-024
  • ACC forms use explicit FP32 S32 and U32 accumulator classes
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case022
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ACC-TYPES-022
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-acc-types-022.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    each input class publishes C plus A times B into distinct D while preserving C
    SHA-256
    8ed1e4738a422be07b556eb3c3566b1eb04cac3694dd8beafec0c18725723137
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ACC-TYPES-022
  • Direct TMATMUL_ACC rejects one TileIndex used for both C and D
    1. surfaceTILE
    2. ownerTMATMUL_ACC
    3. categoryFAULT
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TMATMUL-ACC-INDEX-002
    Path
    tests/asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_ACC/tile-fault-tmatmul-acc-index-002.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    direct decode rejects before changing the accumulator payload or numeric status
    SHA-256
    4e07092a8e714ff7c036a4ff94ae5367f497f4b72e1a250fa004b490c0ff9ff1
    Open exact source ↗ for PTO-AVS-TILE-TMATMUL-ACC-INDEX-002
  • Direct TMATMUL_MX_ACC rejects one TileIndex used for both C and D
    1. surfaceTILE
    2. ownerTMATMUL_MX_ACC
    3. categoryFAULT
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TMATMUL-MX-ACC-INDEX-002
    Path
    tests/asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX_ACC/tile-fault-tmatmul-mx-acc-index-002.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-ACCUMULATOR-OUTPUT-001
    Pass condition
    scaled direct decode rejects before changing FP32 C or numeric status
    SHA-256
    1cfa3a73d59c1a0a0c19be7478c805e87554ac467f0569f8011fde2918f4bdce
    Open exact source ↗ for PTO-AVS-TILE-TMATMUL-MX-ACC-INDEX-002
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 history2
  • CUBE Accumulator and Atomic Output Contract · accepted
    1. decision recordADR
    2. case0073

    Decision record

    Loading ADR-0073…

    Sources and references
    Complete stable ID
    ADR-0073
    Path
    docs/status/decisions/0073-cube-accumulator-atomic-output.md
    Affected units
    PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE
    Affected NDF
    PTO-CUBE-ACCUMULATOR-OUTPUT-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001
    SHA-256
    d63ba89014fe901b5055fc38bbd5578aa1b571c1038321a903f20cc6e9756fef
    Open exact decision source ↗ for ADR-0073
  • Re-encode B.IOT and B.IOS size and PE mode fields · accepted
    1. decision recordADR
    2. case0096

    Decision record

    Loading ADR-0096…

    Sources and references
    Complete stable ID
    ADR-0096
    Path
    docs/status/decisions/0096-b-iot-b-ios-sizecode-pemode.md
    Affected units
    PTO-ARCH-DATA-TYPES-INTEGER, PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-PROFILE-RESET, PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-DEFINEDNESS-ELEMENTS, PTO-TILE-MODEL-DEFINEDNESS-PACKED-BOUNDARY, PTO-TILE-MODEL-EXECUTION-COMPARISON, PTO-TILE-MODEL-EXECUTION-COMPLEX, PTO-TILE-MODEL-EXECUTION-CUBE, PTO-TILE-MODEL-EXECUTION-ELEMENTWISE, PTO-TILE-MODEL-EXECUTION-EXPANSION, PTO-TILE-MODEL-EXECUTION-FUSED-MULTIPLY-ADD, PTO-TILE-MODEL-EXECUTION-GENERATION, PTO-TILE-MODEL-EXECUTION-IMAGE-TO-COLUMN, PTO-TILE-MODEL-EXECUTION-INDEXED-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-REDUCTION, PTO-TILE-MODEL-EXECUTION-SORTING, PTO-TILE-MODEL-EXECUTION-UNARY, PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY, PTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE, PTO-TILE-MODEL-LEGALITY-IMAGE-TO-COLUMN, PTO-TILE-MODEL-LEGALITY-INDEXED-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-MATRIX-INFO-DESCRIPTOR, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS, PTO-TILE-MODEL-LEGALITY-PE-MASK, PTO-TILE-MODEL-MEMORY-LOAD-STORE, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-NUMERIC-FORMATS, PTO-TILE-MODEL-ORDERING-SORTING, PTO-TILE-MODEL-SHAPE-VALID-REGION, PTO-TILE-MODEL-STATE-ALLOCATION, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-FEATURE-MAP-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES, PTO-TILE-TLOAD
    Affected NDF
    PTO-ARCH-GM-ACCESS-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-CUBE-ACCUMULATOR-OUTPUT-001, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001
    SHA-256
    c4b4fb7bc17878f710015207dc19ddaf22a0cf6989d185b16844714c71e23f62
    Open exact decision source ↗ for ADR-0096
显示 canonical path 与 hash

asl/block/model/dispatch/cube-tmatmul.asl:3

Source SHA-256: 513fbf21974f558b4d1ca1a6bafbeb8b40d5545ece88c429856acf58d64c234f

Clause SHA-256: 9336b57e4807bea272871e035bb85ff5acc21d856aa11bcf3e5f0961f00aab47