Skip to main content
NDF · contract · accepted

PTO-CUBE-LOCAL-MATRIX-001

The body below comes directly from the canonical NDF owner.

1 owners

NDF clauses

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

    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY
    3. categoryCUBE-LOCAL-MATRIX
    4. case001

    Normative contract

    contract · L1 · accepted

    Local Matrix primary A, C, and D MUST use one compatible CUBE_M16 or CUBE_M32 layout, primary B MUST use CUBE_N8, and their logical M/N/K dimensions MUST remain independent of per-PE TSize.

    Sources and references
    Complete stable ID
    PTO-CUBE-LOCAL-MATRIX-001
    Source path
    asl/tile/model/legality/matrix-cube-primary.asl
    Affected units
    PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY
    Source SHA-256
    a74cec09ffd03e8a4e9f0eebcfdaef70400984ef2de10df6bbfccdd87644f138
    Clause SHA-256
    4b7ecf4fd3f3eabc95a0a4e2e3c59943bf073d37d24ff91af67e2b66ec71f6c9
    Open exact canonical source ↗

Instruction and unit pages

Local relationship neighborhood

Open the complete NDF relationship explorer

Evidence index

21 matching entries

Executable evidence13
  • TGEMV consumes M16 and multi-CELL N8 Local primaries at M one
    1. surfaceBLOCK
    2. ownerBSTART.TGEMV
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TGEMV-CUBE-002
    Path
    tests/asl/block/execution/BSTART.TGEMV/block-exec-bstart-tgemv-cube-002.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    K9 N10 all-one FP16 inputs publish a CUBE_M16 FP32 destination whose ten logical results equal nine
    SHA-256
    65464cae89ee00c857f86e45cef71a6e06dbaf9350127892e1b17764d971f185
    Open exact source ↗ for PTO-AVS-BLOCK-TGEMV-CUBE-002
  • TGEMV remains the M one specialization of Local CUBE Matrix execution
    1. surfaceBLOCK
    2. ownerBSTART.TGEMV
    3. categoryFAULT
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TGEMV-CUBE-M-003
    Path
    tests/asl/block/execution/BSTART.TGEMV/block-fault-bstart-tgemv-cube-m-003.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    explicit M two raises Tile legality before destination allocation or source and numeric-status effects
    SHA-256
    fe2c4085e2e43015cfda0aab855cb4d735cbf0c51f45161e2a64d979bf3f97f9
    Open exact source ↗ for PTO-AVS-BLOCK-TGEMV-CUBE-M-003
  • Local CUBE TMATMUL keeps Bias in an ordinary row-major auxiliary Tile
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case007
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-AUX-007
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-cube-aux-007.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    ordinary FP32 Bias adds to CUBE A and B while a CUBE-form Bias rejects before destination allocation
    SHA-256
    7c548ad5c73e814e797215461ae10dbff42ac370e9e08a8916005fb4078e1add
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-AUX-007
  • Local CUBE Matrix sources and destination require the smallest fitting per-PE TSize
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case008
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-CAPACITY-008
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-cube-capacity-008.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    M16 M32 and N8 accept the smallest fitting size reject the next smaller size and destination failure publishes nothing
    SHA-256
    aa4f3dc4496244f1084112196e29305a22c70a284fd0d636e3801c8f9b66d713
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-CAPACITY-008
  • Local CUBE Matrix requires every valid source element but excludes physical CELL padding
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case009
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-DEFINEDNESS-009
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-cube-definedness-009.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    one undefined valid element rejects before allocation while defined poisoned padding does not participate in the product
    SHA-256
    753d3df40f0198f9fe14561479b024f4ec16778529b6a78c032c1f2e5858ee49
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-DEFINEDNESS-009
  • Decoded Local TMATMUL allocates D in A's persistent M layout
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATE-TRANSITION
    4. case005
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-DESTINATION-005
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-cube-destination-005.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    M16 A and N8 B publish a new FP32 M16 Matrix destination with exact CUBE geometry valid shape payload and allocation mask
    SHA-256
    87933fcc52281218c77271b42af1216c5ce3be97581fb6ea89f0ece497a3a5af
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-DESTINATION-005
  • Local M stays arbitrary positive while cooperative LB0 is Core-total group M.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-DIMENSIONS-003
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-cube-dimensions-003.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    Local M3 N9 K17 remains legal; cooperative group_M accepts non-power-of-two values through 128 with power-of-two N/K and rejects zero or 129.
    SHA-256
    b6925dac4754b8b946a9ff91f1dc0272c5de436b50243a20d9c4d33a7965e29d
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-DIMENSIONS-003
  • Local Matrix primaries use exact M16 M32 and N8 CUBE layout roles
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-LAYOUT-002
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-cube-layout-002.asl
    Kind / role
    boundary
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    A C and D accept the selected M layout B accepts only N8 and M16 or M32 enforce their architectural M limits
    SHA-256
    f5ede1e65bcee06df25bd1bd28d0bf8b4cd58045ddcb52464bda550467007158
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-LAYOUT-002
  • Local CUBE Matrix keeps zero-mask no-op precedence and accepts partial participation
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryEXECUTION
    4. case010
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-cube-mask-010.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    zero mask bypasses malformed operands while full and partial masks execute CUBE primaries with exact destination masks
    SHA-256
    cb1fa427401aed3f617de23450f3066998978f93dd30aa757db05467b66a1aef
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
  • CUBE D uses final B.FPATR output dtype geometry while arithmetic remains accumulator typed
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categorySTATE-TRANSITION
    4. case006
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-CUBE-POSTPROCESS-006
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-cube-postprocess-006.asl
    Kind / role
    state-transition
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    FP32 accumulation converted to FP16 publishes one 128-byte M16 cell without indexing the payload as an invalid FP32 descriptor
    SHA-256
    aec7e6880b387bc83f58636ae7dacf2fc531962d470c1e3c509158771d1d85db
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-POSTPROCESS-006
  • Local TMATMUL rejects ordinary row-major primary operands
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryFAULT
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-ORDINARY-PRIMARY-004
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-ordinary-primary-004.asl
    Kind / role
    fault
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    row-major A and B raise Tile legality before destination allocation source mutation payload computation or numeric status
    SHA-256
    829f58670835c6d51d30e2eb42653711635844ba76c8adebd5bc74f42f018fef
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-ORDINARY-PRIMARY-004
  • PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY compiles as an independent normative unit
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY-STATIC-001
    Path
    tests/asl/tile/model/legality/matrix-cube-primary/tile-static-matrix-cube-primary-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    780e549b5d43c6e1cf10b9fb6dc56f4ca06abfdb2318234a7c20077d09997d1e
    Open exact source ↗ for PTO-AVS-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY-STATIC-001
  • TMATMUL reads and writes logical coordinates through persistent CUBE storage mappings
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-EXECUTION-CUBE
    3. categoryEXECUTION
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TMATMUL-CUBE-STORAGE-003
    Path
    tests/asl/tile/model/execution/cube/tile-exec-tmatmul-cube-storage-003.asl
    Kind / role
    execution
    Requirements
    PTO-CUBE-LOCAL-MATRIX-001
    Pass condition
    M16 A N8 B and M16 D produce the exact 2 by 2 product while preserving their non-row-major physical payload order
    SHA-256
    e3436bee5f86cc292fb819824a31c1152c964f79b02bd45a9ada96285d2d976f
    Open exact source ↗ for PTO-AVS-TILE-TMATMUL-CUBE-STORAGE-003
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 history3
  • CUBE raw-carrier totality and composite preflight · accepted
    1. decision recordADR
    2. case0034

    Decision record

    Loading ADR-0034…

    Sources and references
    Complete stable ID
    ADR-0034
    Path
    docs/status/decisions/0034-cube-raw-carrier-totality.md
    Affected units
    PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS
    Affected NDF
    PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-CUBE-LOCAL-MATRIX-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001
    SHA-256
    6e773942b46c7352eaba729ccd056548ec2e6379fbf8790eaf366571c968f814
    Open exact decision source ↗ for ADR-0034
  • CUBE Matrix Family Contract · accepted
    1. decision recordADR
    2. case0065

    Decision record

    Loading ADR-0065…

    Sources and references
    Complete stable ID
    ADR-0065
    Path
    docs/status/decisions/0065-cube-matrix-family-contract.md
    Affected units
    PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS
    Affected NDF
    PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-CUBE-LOCAL-MATRIX-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001
    SHA-256
    d1f50e2bdf78a0fb447af2f3213400463cc8b4fe4676c7282b67da77c4721fec
    Open exact decision source ↗ for ADR-0065
  • Local CUBE Matrix Operand Contract · accepted
    1. decision recordADR
    2. case0071

    Decision record

    Loading ADR-0071…

    Sources and references
    Complete stable ID
    ADR-0071
    Path
    docs/status/decisions/0071-local-cube-matrix-operands.md
    Affected units
    PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-TILE-MODEL-LEGALITY-MATRIX-CUBE-PRIMARY, PTO-TILE-MODEL-SHAPE-CUBE-CELL, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS
    Affected NDF
    PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-CUBE-CELL-STATE-001, PTO-CUBE-LOCAL-MATRIX-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001
    SHA-256
    c9c58c246498edab99aff612c6d645774e07f942e37fb92b14245e8aecbe8368
    Open exact decision source ↗ for ADR-0071
Show canonical path and hashes

asl/tile/model/legality/matrix-cube-primary.asl:3

Source SHA-256: a74cec09ffd03e8a4e9f0eebcfdaef70400984ef2de10df6bbfccdd87644f138

Clause SHA-256: 4b7ecf4fd3f3eabc95a0a4e2e3c59943bf073d37d24ff91af67e2b66ec71f6c9