跳到主要内容
NDF · contract · accepted

PTO-B-SHARED-WHOLE-PARENT-READY-001

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

1 个 owner

NDF 条款

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

    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-SHARED-REGISTERS
    3. categoryB-SHARED-WHOLE-PARENT-READY
    4. case001

    规范契约

    contract · L1 · accepted

    Shared producer participation, logical coverage, whole_parent_ready, and published visibility MUST remain distinct. Every Shared source consumer MUST wait/no-op before payload access until whole_parent_ready and published are both true; producer and consumer masks are independent.

    来源与引用
    完整稳定 ID
    PTO-B-SHARED-WHOLE-PARENT-READY-001
    来源路径
    asl/tile/model/state/shared-registers.asl
    适用单元
    PTO-TILE-MODEL-STATE-SHARED-REGISTERS
    源 SHA-256
    7c3b7357033ea1ec576d73174ef73b0833fb2ef2c1fc823f964feb31f7144879
    条款 SHA-256
    1060e1bada4baad1589cdf97069707fff880449f6b540e4078d394089fbce432
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

18 matching entries

Executable evidence11
  • Canonical Shared TLSU decouples producer and consumer masks and rejects descriptor mismatch.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU
    3. categoryEXECUTION
    4. case004
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-TLSU-PARTIAL-EXEC-004
    Path
    tests/asl/block/model/dispatch/shared-tlsu/block-exec-shared-tlsu-partial-004.asl
    Kind / role
    execution
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001
    Pass condition
    A singleton producer publishes the full parent, different consumer masks read it completely, and an incompatible rewrite rejects before state changes.
    SHA-256
    54a4294b092a7049d3506f73fc2f73f3830158f84d64f5acba4952d6560fa272
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-TLSU-PARTIAL-EXEC-004
  • Inactive cooperative PEs retain no-fault Shared readiness preflight.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case029
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-INACTIVE-SHARED-029
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-inactive-shared-029.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001
    Pass condition
    A zero-row PE with structurally present invalid Local mappings waits for an unpublished Shared B before every Local dependency allocation generation payload numeric-status or fault effect.
    SHA-256
    98a15edc160c0d28e47779f5a01c36f212a01257a39b1d1e25a9bf5392069ef4
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-INACTIVE-SHARED-029
  • Cooperative Shared Matrix waits for whole-parent Shared readiness without fault or effects
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case012
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-readiness-012.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    a partial Shared A allocation waits without destination allocation binding consumption payload numeric status or fault
    SHA-256
    18311caf9d2528a1a9ea12ae5f6c93b4daa7b2ac29f6b652370c074226f91e38
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
  • Cooperative TMATMUL waits for an unallocated Shared primary without fault or effects
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
    3. categoryBOUNDARY
    4. case020
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
    Path
    tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-undef-020.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
    Pass condition
    the undefined-register fallback remains legal generally while Matrix readiness waits without allocation consumption Shared mutation numeric status or fault
    SHA-256
    74fb3304acd1e4df9118089ab05b60c19b7c3eae11ffe1dbe724beaa316635b7
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
  • TMATMUL waits without fault for an unpublished Shared matrix source.
    1. surfaceBLOCK
    2. ownerBSTART.TMATMUL
    3. categorySTATE-TRANSITION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMATMUL-SHARED-WAIT-002
    Path
    tests/asl/block/execution/BSTART.TMATMUL/block-state-bstart-tmatmul-shared-wait-002.asl
    Kind / role
    state-transition
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-TMATMUL-CONTRACT-001
    Pass condition
    The pending attempt preserves bindings and destination state; whole-parent publication lets the unchanged block retry and commit the matrix result.
    SHA-256
    2f8f9100273cdfff8c82f925bcf3432e9f583e86398646bb5be7b0382c5bf6c0
    Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-WAIT-002
  • A Shared-to-Local TMOV waits for whole-parent publication without losing its bindings.
    1. surfaceBLOCK
    2. ownerBSTART.TMOV
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TMOV-PUBLISH-001
    Path
    tests/asl/block/execution/BSTART.TMOV/block-state-bstart-tmov-publish-001.asl
    Kind / role
    state-transition
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-INST-BLOCK-BSTART-TMOV
    Pass condition
    The pending attempt has no fault or destination effect; publication lets the unchanged canonical Function 2 block retry and copy the complete parent.
    SHA-256
    80aeabaec3a19d28b538f6f2c93cc57e3b69107d39a166ae5f35a4c6863beb1c
    Open exact source ↗ for PTO-AVS-BLOCK-TMOV-PUBLISH-001
  • Decoded Function 1 accepts every nonzero Shared consumer mask and zero remains a strict no-op
    1. surfaceBLOCK
    2. ownerBSTART.TSTORE
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TSTORE-MASK-001
    Path
    tests/asl/block/execution/BSTART.TSTORE/block-bound-bstart-tstore-mask-001.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-INST-BLOCK-BSTART-TSTORE
    Pass condition
    full and sparse nonzero masks store one published Shared payload without mask faults while zero completes without source readiness or GM effects
    SHA-256
    322a2de41f42da95c75c193ee01bb6d3bac93f9306282ad1bbef806df88c4532
    Open exact source ↗ for PTO-AVS-BLOCK-TSTORE-MASK-001
  • the Shared readiness gate precedes validation of an oversized temporary TSTORE schema
    1. surfaceBLOCK
    2. ownerBSTART.TSTORE
    3. categoryBOUNDARY
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TSTORE-SHAPE-001
    Path
    tests/asl/block/execution/BSTART.TSTORE/block-bound-bstart-tstore-shape-001.asl
    Kind / role
    boundary
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-INST-BLOCK-BSTART-TSTORE
    Pass condition
    an unallocated Shared source keeps the block waiting without a fault, GM effect, binding consumption, or descriptor publication before shape validation
    SHA-256
    6b3475bfe6ee08a829e9039a5878c767c7a5faa41f965f98692f52a80c083ee3
    Open exact source ↗ for PTO-AVS-BLOCK-TSTORE-SHAPE-001
  • An unpublished Shared TSTORE source keeps the completed block waiting.
    1. surfaceBLOCK
    2. ownerBSTART.TSTORE
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TSTORE-UNDEF-001
    Path
    tests/asl/block/execution/BSTART.TSTORE/block-state-bstart-tstore-undef-001.asl
    Kind / role
    state-transition
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-INST-BLOCK-BSTART-TSTORE
    Pass condition
    The first attempt has no fault, GM effect, or binding consumption; publishing the same parent lets the unchanged block retry and store successfully.
    SHA-256
    a4867f0d21fd474b120f8c58d2e6d8088b5bdbe605df0da116b2bee52e87f65b
    Open exact source ↗ for PTO-AVS-BLOCK-TSTORE-UNDEF-001
  • PTO-TILE-MODEL-STATE-SHARED-REGISTERS compiles as an independent normative unit
    1. surfaceTILE
    2. ownerPTO-TILE-MODEL-STATE-SHARED-REGISTERS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-MODEL-STATE-SHARED-REGISTERS-STATIC-001
    Path
    tests/asl/tile/model/state/shared-registers/tile-static-shared-registers-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    41ace1df72cbc81e095759473372c59d81f9266c1dd5684899534c783fa4fc68
    Open exact source ↗ for PTO-AVS-TILE-MODEL-STATE-SHARED-REGISTERS-STATIC-001
  • A single Shared TLOAD issuer loads and publishes the complete logical parent.
    1. surfaceTILE
    2. ownerTLOAD
    3. categoryEXECUTION
    4. case002
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-TILE-TLOAD-SHARED-PARENT-002
    Path
    tests/asl/tile/memory-and-data-movement/regular/TLOAD/tile-exec-tload-shared-parent-002.asl
    Kind / role
    execution
    Requirements
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-INST-TILE-TLOAD
    Pass condition
    One selected PE supplies every valid parent element from its private base and stride; producer metadata does not partition the payload.
    SHA-256
    dd5595d47a2c4b72a379d544f09f7db0b13c53c907af3773a58a61ef66874e05
    Open exact source ↗ for PTO-AVS-TILE-TLOAD-SHARED-PARENT-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
  • Shared whole-parent readiness and single-issuer publication · accepted
    1. decision recordADR
    2. case0105

    Decision record

    Loading ADR-0105…

    Sources and references
    Complete stable ID
    ADR-0105
    Path
    docs/status/decisions/0105-shared-whole-parent-readiness.md
    Affected units
    PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT
    Affected NDF
    PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001
    SHA-256
    65894a4523494b68bdac25b972b183ba0435d9c36806805311f236c6b6923d8d
    Open exact decision source ↗ for ADR-0105
  • PTO ISA 0.58.4.1 to 0.58.5 compatibility boundary · accepted
    1. decision recordADR
    2. case0108

    Decision record

    Loading ADR-0108…

    Sources and references
    Complete stable ID
    ADR-0108
    Path
    docs/status/decisions/0108-0584-1-to-0585-compatibility.md
    Affected units
    PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART-TLOAD, 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-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TSTORE, PTO-BLOCK-MODEL-DISPATCH-CELL-REARRANGEMENT-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-PARTIAL-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCALAR-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TCI, PTO-TILE-TCONCAT, PTO-TILE-TDEQUANT, PTO-TILE-TEXTRACT, PTO-TILE-TFILLPAD, PTO-TILE-TGATHER, 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-THISTOGRAM, PTO-TILE-TINSERT, PTO-TILE-TLOAD, 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, PTO-TILE-TMOV, PTO-TILE-TMRGSORT, PTO-TILE-TPACK, PTO-TILE-TPARTADD, PTO-TILE-TPARTMAX, PTO-TILE-TPARTMIN, PTO-TILE-TPARTMUL, PTO-TILE-TPERMUTE, PTO-TILE-TPREFETCH, PTO-TILE-TQUANT, PTO-TILE-TSCATTER, PTO-TILE-TSHUF, PTO-TILE-TSORT, PTO-TILE-TSTORE, PTO-TILE-TTRANS, PTO-TILE-TTRI, PTO-TILE-TUNPACK, PTO-TILE-MODEL-DISPATCH-IRREGULAR-AND-COMPLEX, PTO-TILE-MODEL-DISPATCH-LAYOUT-AND-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-COMPLEX, PTO-TILE-MODEL-EXECUTION-GENERATION, PTO-TILE-MODEL-EXECUTION-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY, PTO-TILE-MODEL-LEGALITY-DTYPE-LAYOUT, PTO-TILE-MODEL-LEGALITY-INDEXED-LAYOUT, PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-OPERAND-SCHEMA, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES
    Affected NDF
    PTO-ARCH-GM-ACCESS-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-B-SUBVIEW-SHARED-PER-PE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-INST-BLOCK-B-IOS, PTO-INST-BLOCK-B-IOT, PTO-INST-BLOCK-BSTART-TLOAD, PTO-INST-BLOCK-BSTART-TMATMUL, PTO-INST-BLOCK-BSTART-TMATMUL-ACC, PTO-INST-BLOCK-BSTART-TMATMUL-BIAS, PTO-INST-BLOCK-BSTART-TMATMULMX, PTO-INST-BLOCK-BSTART-TMATMULMX-ACC, PTO-INST-BLOCK-BSTART-TMATMULMX-BIAS, PTO-INST-BLOCK-BSTART-TMOV, PTO-INST-BLOCK-BSTART-TSTORE, PTO-INST-TILE-GMOV, PTO-INST-TILE-MGATHER, PTO-INST-TILE-MGATHER-CAS, PTO-INST-TILE-MGATHER-MASK, PTO-INST-TILE-MSCATTER, PTO-INST-TILE-MSCATTER-MASK, PTO-INST-TILE-TCI, PTO-INST-TILE-TCONCAT, PTO-INST-TILE-TDEQUANT, PTO-INST-TILE-TEXTRACT, PTO-INST-TILE-TFILLPAD, PTO-INST-TILE-TGATHER, PTO-INST-TILE-TGEMV, PTO-INST-TILE-TGEMV-ACC, PTO-INST-TILE-TGEMV-BIAS, PTO-INST-TILE-TGEMV-MX, PTO-INST-TILE-TGEMV-MX-ACC, PTO-INST-TILE-TGEMV-MX-BIAS, PTO-INST-TILE-THISTOGRAM, PTO-INST-TILE-TINSERT, PTO-INST-TILE-TLOAD, PTO-INST-TILE-TMATMUL, PTO-INST-TILE-TMATMUL-ACC, PTO-INST-TILE-TMATMUL-BIAS, PTO-INST-TILE-TMATMUL-MX, PTO-INST-TILE-TMATMUL-MX-ACC, PTO-INST-TILE-TMATMUL-MX-BIAS, PTO-INST-TILE-TMOV, PTO-INST-TILE-TMRGSORT, PTO-INST-TILE-TPACK, PTO-INST-TILE-TPARTADD, PTO-INST-TILE-TPARTMAX, PTO-INST-TILE-TPARTMIN, PTO-INST-TILE-TPARTMUL, PTO-INST-TILE-TPERMUTE, PTO-INST-TILE-TPREFETCH, PTO-INST-TILE-TQUANT, PTO-INST-TILE-TSCATTER, PTO-INST-TILE-TSHUF, PTO-INST-TILE-TSORT, PTO-INST-TILE-TSTORE, PTO-INST-TILE-TTRANS, PTO-INST-TILE-TTRI, PTO-INST-TILE-TUNPACK, PTO-ISA-LEGACY-SHARED-MOVEMENT-001, PTO-TFILLPAD-CONTRACT-001, PTO-TLOAD-MEMORY-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, PTO-TPACK-CONTRACT-001, PTO-TPARTADD-CONTRACT-001, PTO-TPARTMAX-CONTRACT-001, PTO-TPARTMIN-CONTRACT-001, PTO-TPARTMUL-CONTRACT-001, PTO-TPERMUTE-CONTRACT-001, PTO-TSHUF-CONTRACT-001, PTO-TSTORE-MEMORY-001, PTO-TTRANS-CONTRACT-001, PTO-TUNPACK-CONTRACT-001
    SHA-256
    5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d
    Open exact decision source ↗ for ADR-0108
显示 canonical path 与 hash

asl/tile/model/state/shared-registers.asl:3

Source SHA-256: 7c3b7357033ea1ec576d73174ef73b0833fb2ef2c1fc823f964feb31f7144879

Clause SHA-256: 1060e1bada4baad1589cdf97069707fff880449f6b540e4078d394089fbce432