Complete, paginated released identities and adjacency data. This index remains navigable without JavaScript or WebGL.
PTO-AVS-ARCH-HIF4X2-DECOMP-001avs · boundary
tests/asl/arch/data-types/formats/hif4x2/arch-bound-hif4x2-decomp-001.asl:1
Source SHA-256: d18caabbe5124c6ee837f6efcaeb40c4271a3f6f3331927aba34d61f1195082f
PTO-ARCH-DATA-TYPES-FORMAT-HIF4X2 · asl-covered-by-avs · incomingPTO-NUMERIC-FINITE-DECOMPOSITION-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-HIF8-DECOMP-001avs · boundary
tests/asl/arch/data-types/formats/hif8/arch-bound-hif8-decomp-001.asl:1
Source SHA-256: 12250e47f7ee38605ce521d2db8c778afd485227af4e450ad82194d08a15eb16
PTO-ARCH-DATA-TYPES-FORMAT-HIF8 · asl-covered-by-avs · incomingPTO-NUMERIC-FINITE-DECOMPOSITION-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-MATRIX-INTERMEDIATE-002avs · execution
tests/asl/arch/profile/matrix-quantization/arch-exec-matrix-intermediate-002.asl:1
Source SHA-256: d6cb36092f0003111e8003e8e027c323e2686e8b88965bccd59e7332f5e2306e
PTO-ARCH-PROFILE-MATRIX-QUANTIZATION · asl-covered-by-avs · incomingPTO-MATRIX-QUANT-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-MATRIX-POST-001avs · execution
tests/asl/arch/profile/matrix-postprocess/arch-exec-matrix-postprocess-001.asl:1
Source SHA-256: 92669a95060a3b8714455a3f9963aeede37677257743c6098cf45a6af57758de
PTO-ARCH-PROFILE-MATRIX-POSTPROCESS · asl-covered-by-avs · incomingPTO-MATRIX-POSTPROCESS-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-MATRIX-POSTPROCESS-PIPELINE-002avs · execution
tests/asl/arch/profile/matrix-postprocess/arch-exec-matrix-postprocess-pipeline-002.asl:1
Source SHA-256: 29d156198af9caef5156e22bb229ffab7286670561b6228df661121249708a90
PTO-ARCH-PROFILE-MATRIX-POSTPROCESS · asl-covered-by-avs · incomingPTO-MATRIX-POSTPROCESS-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-MATRIX-QUANT-001avs · execution
tests/asl/arch/profile/matrix-quantization/arch-exec-matrix-quantization-001.asl:1
Source SHA-256: 58ba7a5c35d1c667e57c23b82a434006709c925c88a0c91b64190cf859160c50
PTO-ARCH-PROFILE-MATRIX-QUANTIZATION · asl-covered-by-avs · incomingPTO-MATRIX-QUANT-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-ADDRESS-SPACE-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/address-space/arch-static-address-space-contract-001.asl:1
Source SHA-256: a7e74bf7d9cdd980710e50f02da4a461e67160e0444569f713ffc3a628a81a0e
PTO-ARCH-MEMORY-MODEL-ADDRESS-SPACE · asl-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-ATOMICITY-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/atomicity/arch-static-atomicity-contract-001.asl:1
Source SHA-256: ea0c6316331d9350df7677b683ca0fbb1534c6e4614b67ad45c4fcb36685ec49
PTO-ARCH-MEMORY-MODEL-ATOMICITY · asl-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-FAULT-PRECISION-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/fault-precision/arch-static-fault-precision-contract-001.asl:1
Source SHA-256: 39d43ace5ca58e8c5bd335cd727dad9e83262f40f61f95edf6ed0ac002b4a298
PTO-ARCH-MEMORY-MODEL-FAULT-PRECISION · asl-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/global-memory-access/arch-static-global-memory-access-contract-001.asl:1
Source SHA-256: a99f4e240da5f3f18704ac05f623bbd44dd592086fcbf9b58e913a018994799c
PTO-ARCH-GM-ACCESS-001 · ndf-covered-by-avs · incomingPTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS · asl-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-MEMORY-EVENTS-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/memory-events/arch-static-memory-events-contract-001.asl:1
Source SHA-256: 8ee092e2d47ed671d8ef54d6a70ffac9676f058c85fe86b11f0b2ce46a89996d
PTO-ARCH-MEMORY-MODEL-MEMORY-EVENTS · asl-covered-by-avs · incomingPTO-AVS-ARCH-MEMORY-MODEL-ORDERING-STATIC-001avs · static-invariant
tests/asl/arch/memory-model/ordering/arch-static-ordering-contract-001.asl:1
Source SHA-256: 213cbc201790ba43a1d0c64598812cb7a4193b78411453939b2b853b0f41a8f9
PTO-ARCH-MEMORY-MODEL-ORDERING · asl-covered-by-avs · incomingPTO-AVS-ARCH-MINMAX-AVAILABILITY-BOUND-002avs · boundary
tests/asl/arch/features/minmax-profile/arch-bound-minmax-availability-002.asl:1
Source SHA-256: 9e431386d0ee57e6dbb5eb8ac03abacde6daa2d58b1d1ca9a924df3d9df22add
PTO-ARCH-FEATURES-MINMAX-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-MINMAX-ORDER-KEYS-EXEC-001avs · execution
tests/asl/arch/features/minmax-profile/arch-exec-minmax-order-keys-001.asl:1
Source SHA-256: 605a42427e2a7f408170fc0537474f377092e75619ce04138774c5ead7ed196f
PTO-ARCH-FEATURES-MINMAX-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-MINMAX-ORDERING-TIES-EXEC-004avs · execution
tests/asl/arch/features/minmax-profile/arch-exec-minmax-ordering-ties-004.asl:1
Source SHA-256: 71b617cf8a6faeb890d723d976f4292a774c1d15b2092989f42b0e03888ed649
PTO-ARCH-FEATURES-MINMAX-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-MINMAX-SPECIAL-DELEGATION-EXEC-003avs · execution
tests/asl/arch/features/minmax-profile/arch-exec-minmax-special-delegation-003.asl:1
Source SHA-256: 237fa58d299f4b47d027ca9e63daa7914a0d8e1cc0c514aff5b06566f831c140
PTO-ARCH-FEATURES-MINMAX-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-MX-COMPARISON-MINMAX-SPECIAL-EXEC-004avs · execution
tests/asl/arch/features/mx-formats/arch-exec-mx-comparison-minmax-special-004.asl:1
Source SHA-256: 33f5ff69a3508ee7e1d62b75f89e1efb9755962d5177dd13656d48e28a049227
PTO-ARCH-FEATURES-MX-FORMATS · asl-covered-by-avs · incomingPTO-AVS-ARCH-MX-ENCODING-CLASSIFICATION-BOUND-002avs · boundary
tests/asl/arch/features/mx-formats/arch-bound-mx-encoding-classification-002.asl:1
Source SHA-256: 6f2ce5c42b5403f81b54366b4fe21c9ae01ba74b0e4b68c6979e2b1e2f781f78
PTO-ARCH-FEATURES-MX-FORMATS · asl-covered-by-avs · incomingPTO-AVS-ARCH-MX-SPECIAL-AVAILABILITY-EXEC-003avs · execution
tests/asl/arch/features/mx-formats/arch-exec-mx-special-availability-003.asl:1
Source SHA-256: 1b11852c5f1292cf452dcacc642304d4a52583ad2f9e1f3ae7d30b9c46b0984d
PTO-ARCH-FEATURES-MX-FORMATS · asl-covered-by-avs · incomingPTO-AVS-ARCH-MX-SUBNORMAL-BOUNDARIES-EXEC-001avs · execution
tests/asl/arch/features/mx-formats/arch-exec-mx-subnormal-boundaries-001.asl:1
Source SHA-256: 2de15c6d1b6f4693bf22c626cbbc85108a4850aa5068c595cd23d514e5890993
PTO-ARCH-FEATURES-MX-FORMATS · asl-covered-by-avs · incomingPTO-AVS-ARCH-NUMERIC-FORMATS-DOMAIN-001avs · boundary
tests/asl/arch/data-types/numeric-formats/arch-bound-numeric-formats-domain-001.asl:1
Source SHA-256: c7b1f56fb35f44e0e50f09f523979d377ca88f340f1b3f10f874de6ebfe9e9e0
PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS · asl-covered-by-avs · incomingPTO-NUMERIC-FINITE-DECOMPOSITION-001 · ndf-covered-by-avs · incomingPTO-NUMERIC-FORMAT-DESCRIPTOR-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-NUMERIC-STATUS-001avs · state-transition
tests/asl/arch/state/numeric-status/arch-state-numeric-status-001.asl:1
Source SHA-256: 73c82a0e416a7635964e18f0b52a0330df6edcb3292f9eb65937b9ace7d9948d
PTO-ARCH-STATE-NUMERIC-STATUS · asl-covered-by-avs · incomingPTO-NUMERIC-STATUS-STICKY-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-OVERVIEW-ARCHITECTURE-STATIC-001avs · static-invariant
tests/asl/arch/overview/architecture/arch-static-architecture-contract-001.asl:1
Source SHA-256: 807818223d14c98b06937c0b0a1d06686bb1f61accc46ab7766e662e0d22e55a
PTO-ARCH-COMMIT-EVENT-CONFORMANCE-001 · ndf-covered-by-avs · incomingPTO-ARCH-OVERVIEW-ARCHITECTURE · asl-covered-by-avs · incomingPTO-ARCH-STATE-CLOSURE-001 · ndf-covered-by-avs · incomingPTO-RELEASE-VERIFICATION · ndf-covered-by-avs · incomingPTO-SOURCE-HIERARCHY · ndf-covered-by-avs · incomingPTO-TILE-CAPACITY-PER-PE · ndf-covered-by-avs · incomingPTO-AVS-ARCH-OVERVIEW-ENCODING-OWNERSHIP-STATIC-001avs · static-invariant
tests/asl/arch/overview/encoding-ownership/arch-static-encoding-ownership-contract-001.asl:1
Source SHA-256: a60389f5f46e1c386db5773eb46647e480424124eea56a1d88090765ba0b7d1f
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001 · ndf-covered-by-avs · incomingPTO-ARCH-ENCODING-OWNERSHIP-001 · ndf-covered-by-avs · incomingPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP · asl-covered-by-avs · incomingPTO-AVS-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION-STATIC-001avs · static-invariant
tests/asl/arch/overview/instruction-classification/arch-static-instruction-classification-contract-001.asl:1
Source SHA-256: 3c8f5053d2772e838c1ae9725d855c471c5e42723d3da0507987ce5c2325555b
PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION · asl-covered-by-avs · incomingPTO-ARCH-TEPL-ALIAS-001 · ndf-covered-by-avs · incomingPTO-ARCH-TILE-EXECUTION-ENGINE-001 · ndf-covered-by-avs · incomingPTO-ARCH-TILE-INSTRUCTION-CLASS-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-PRODUCTION-EVENTS-ORDER-002avs · ordering
tests/asl/arch/memory-model/ordering/arch-order-production-events-002.asl:1
Source SHA-256: c30ba50cb3651411c4ec93ebcd4ef342a46d908207707cc5579db55d419b6346
PTO-ARCH-MEMORY-MODEL-ORDERING · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-APPLICABILITY-STATIC-001avs · static-invariant
tests/asl/arch/profile/applicability/arch-static-applicability-contract-001.asl:1
Source SHA-256: 72e3606eddaf180815dfda25f6e262401c3e8d840afe5b2e43f4087568c8a87d
PTO-ARCH-PROFILE-APPLICABILITY · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-E8M0-CONVERSION-STATIC-001avs · static-invariant
tests/asl/arch/profile/e8m0-conversion/arch-static-e8m0-conversion-contract-001.asl:1
Source SHA-256: d31ebb831d59bacd869f07e8b9e3676b1e73d8fa8377fec8f19196b0da416cec
PTO-ARCH-PROFILE-E8M0-CONVERSION · asl-covered-by-avs · incomingPTO-TCVT-E8M0-PROFILE-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-EXTENSION-FIRST-USE-STATIC-001avs · static-invariant
tests/asl/arch/profile/extension-first-use/arch-static-extension-first-use-contract-001.asl:1
Source SHA-256: 6255e5a5376b484598806d2d6ec01085ebd04110b5f65571c74860c9bca3b489
PTO-ARCH-EXTENSION-FIRST-USE-PROFILE-001 · ndf-covered-by-avs · incomingPTO-ARCH-PROFILE-EXTENSION-FIRST-USE · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-MATRIX-POSTPROCESS-STATIC-001avs · static-invariant
tests/asl/arch/profile/matrix-postprocess/arch-static-matrix-postprocess-contract-001.asl:1
Source SHA-256: 7f3949620ad409c9911878179425bdf2233a8d259ff2f765ff99f61aeea01392
PTO-ARCH-PROFILE-MATRIX-POSTPROCESS · asl-covered-by-avs · incomingPTO-MATRIX-POSTPROCESS-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-MATRIX-QUANTIZATION-STATIC-001avs · static-invariant
tests/asl/arch/profile/matrix-quantization/arch-static-matrix-quantization-contract-001.asl:1
Source SHA-256: bd64d8ee6c83946d3d622e3bede11ae210e662fba80f0793bfac6f18ad8629c8
PTO-ARCH-PROFILE-MATRIX-QUANTIZATION · asl-covered-by-avs · incomingPTO-MATRIX-QUANT-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-REFERENCE-PROFILE-STATIC-001avs · static-invariant
tests/asl/arch/profile/reference-profile/arch-static-reference-profile-contract-001.asl:1
Source SHA-256: 58ea19f523b6a5a5d43b22a58c28b5c4e1ed0bce3d05344713c5e24b652cba29
PTO-ARCH-PROFILE-REFERENCE-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-REFERENCE-QUANTIZATION-STATIC-001avs · static-invariant
tests/asl/arch/profile/reference-quantization/arch-static-reference-quantization-contract-001.asl:1
Source SHA-256: e5859faec80b723cccc8cd21c068ad1cd6ce6ba79c1ba1d9bf22e6365113487d
PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-RESET-STATIC-001avs · static-invariant
tests/asl/arch/profile/reset/arch-static-reset-contract-001.asl:1
Source SHA-256: 80be1a1b8b653a5441c4a8876e89f608fec404004fd94089b1aa2094a0b1fa19
PTO-ARCH-PROFILE-RESET · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY-STATIC-001avs · static-invariant
tests/asl/arch/profile/trap-context-recovery/arch-static-trap-context-recovery-contract-001.asl:1
Source SHA-256: 11dd4c20522e3d9795355802c04340394d768c55cb872bdfc12dbad8956550be
PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAM-COUNTER-STATE-001avs · state-transition
tests/asl/arch/state/program-counter/arch-state-scalar-001.asl:1
Source SHA-256: 2f4c57a7182ce6707369e1cca732679572bcf318089ccea5f6188271736d8bda
PTO-ARCH-STATE-PROGRAM-COUNTER · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/core-pe-topology/arch-static-core-pe-topology-contract-001.asl:1
Source SHA-256: 0b0df475a9fbaaba75b00cba8376f3fad6185fda75fb16e10fadad1e51ebfef9
PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/execution-context/arch-static-execution-context-contract-001.asl:1
Source SHA-256: 2bcf1898b386faaa22e531c42cf59bcd7a8793ffce16f41d8fac2964a43b0a57
PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT · asl-covered-by-avs · incomingPTO-REQ-STATE-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-PE-GPR-STATE-001avs · state-transition
tests/asl/arch/programming-model/scalar-registers/arch-state-programming-model-pe-gpr-001.asl:1
Source SHA-256: 7c69affbf0458e09198d6a314cc158cfa5348800b1ddd8eae6048b9044c7b91f
PTO-ARCH-GM-ACCESS-001 · ndf-covered-by-avs · incomingPTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/predicate-registers/arch-static-predicate-registers-contract-001.asl:1
Source SHA-256: 1cea82905b03908ba079c7f5864eafdcc5b69b98912e65cc7abf5f3a2748ac4c
PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/scalar-registers/arch-static-scalar-registers-contract-001.asl:1
Source SHA-256: f82a27988ff3b68a15ed36203916280aa87a0e83fa226efd43ecf94adb3148bc
PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/shared-tile-registers/arch-static-shared-tile-registers-contract-001.asl:1
Source SHA-256: 35bb87ae5c03922945f02a951f01e8ddf030c728e61f5d15f06be81d5227ac14
PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS-STATIC-001avs · static-invariant
tests/asl/arch/programming-model/tile-registers/arch-static-tile-registers-contract-001.asl:1
Source SHA-256: aba2f93c142c8bfa8b0307b11d54a11d2a01f54a70be5284cd61509d67cafa03
PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001avs · fault
tests/asl/arch/state/trap-context/arch-fault-queue-readiness-recovery-001.asl:1
Source SHA-256: 3c6609590e7bbc2666d9a498a2eda8ba5d2cb8a64d966e01f82922353f943e43
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-REQ-STATE-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-REFERENCE-PROFILE-DIVZERO-009avs · execution
tests/asl/arch/profile/reference-profile/arch-exec-reference-profile-divzero-009.asl:1
Source SHA-256: 6dfdb745ac38fe937ee919e00fbd1abef8516be7d147281d0c8c10bdfaa582d2
PTO-ARCH-PROFILE-REFERENCE-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-REFERENCE-PROFILE-EXPONENTIAL-008avs · execution
tests/asl/arch/profile/reference-profile/arch-exec-reference-profile-exponential-008.asl:1
Source SHA-256: 344da1461904ae2a456be8e94ee94344cf452dec526cfa3252232e26a721006a
PTO-ARCH-PROFILE-REFERENCE-PROFILE · asl-covered-by-avs · incomingPTO-AVS-ARCH-REFERENCE-QUANTIZATION-001avs · execution
tests/asl/arch/profile/reference-quantization/arch-exec-reference-quantization-001.asl:1
Source SHA-256: 77a1aeec8c6b63e08c22aca602ea197a22a51320e033721fa531bdfbb1046fea
PTO-ARCH-PROFILE-REFERENCE-QUANTIZATION · asl-covered-by-avs · incomingPTO-AVS-ARCH-STATE-DEFINEDNESS-STATIC-001avs · static-invariant
tests/asl/arch/state/definedness/arch-static-definedness-contract-001.asl:1
Source SHA-256: 5389abfd59ea0e176acc50273c7920ead6512702a2188556c41a1c8384a9216d
PTO-ARCH-STATE-DEFINEDNESS · asl-covered-by-avs · incomingPTO-AVS-ARCH-STATE-NUMERIC-STATUS-STATIC-001avs · static-invariant
tests/asl/arch/state/numeric-status/arch-static-numeric-status-contract-001.asl:1
Source SHA-256: 98f5b7e8fe831e27ddfd019b142755a3675e04ff9fe7224a881f3f5d28eca221
PTO-ARCH-STATE-NUMERIC-STATUS · asl-covered-by-avs · incomingPTO-NUMERIC-STATUS-STICKY-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-STATE-PROGRAM-COUNTER-STATIC-001avs · static-invariant
tests/asl/arch/state/program-counter/arch-static-program-counter-contract-001.asl:1
Source SHA-256: 029beecc1a36ba671aa592a04339db70da60bd5aae48ff817c28d7490cc3047b
PTO-ARCH-STATE-PROGRAM-COUNTER · asl-covered-by-avs · incomingPTO-AVS-ARCH-STATE-TILE-DESCRIPTOR-STATIC-001avs · static-invariant
tests/asl/arch/state/tile-descriptor/arch-static-tile-descriptor-contract-001.asl:1
Source SHA-256: 7e51eb6f70f41fb28b5986deb7129c1a0d4cd949b7435256c0bdfc4d80832ba4
PTO-ARCH-STATE-TILE-DESCRIPTOR · asl-covered-by-avs · incomingPTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001avs · static-invariant
tests/asl/arch/state/trap-context/arch-static-trap-context-contract-001.asl:1
Source SHA-256: 576010933b4c5e154f6e1319de00442b055b68d58b1666b00eda2b79929cb6fe
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSREG-RESET-ACCESS-001avs · state-transition
tests/asl/arch/data-types/system-registers/arch-state-register-reset-and-access-001.asl:1
Source SHA-256: 046651bc0c9c22947339f8cbf2f8cd529277ad1c694f0bbd8e4042125b1369c5
PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/access-control/arch-static-access-control-contract-001.asl:1
Source SHA-256: 84f205e7b465e1547898bc952ff27a94ded966a19ee9e2a3f822c428dfdb3e24
PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-ADDRESSING-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/addressing/arch-static-addressing-contract-001.asl:1
Source SHA-256: 80b647c6e77d79d74d5139feed24c302ec0199d46bc0a399c5448bd7a6f333a5
PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-INDEX-001avs · state-transition
tests/asl/arch/system-registers/context/arch-state-context-index-001.asl:1
Source SHA-256: cfcc6d60369647214a06d5d2a5fa119761d58818932fd24d0ed9d64cc3fa8632
PTO-ARCH-SYSTEM-REGISTERS-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/context/arch-static-context-contract-001.asl:1
Source SHA-256: 0dd60c8cc018584bbe0e704e8fc74a013b823b43093b0d2e83d62af2fc4e14df
PTO-ARCH-SYSTEM-REGISTERS-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-INTERRUPT-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/interrupt/arch-static-interrupt-contract-001.asl:1
Source SHA-256: 95732ad1696857b64611f72d130cd82f331b7711b2c68d7b6595a832d9645166
PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-MAINTENANCE-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/maintenance/arch-static-maintenance-contract-001.asl:1
Source SHA-256: 27490aeb8f145ecfd8003fe25b982651b787acf5f7be0d2d83e63901622076ce
PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-TIMER-STATIC-001avs · static-invariant
tests/asl/arch/system-registers/timer/arch-static-timer-contract-001.asl:1
Source SHA-256: b84ab7ae6eb6e6b83e7d18f5db0b9188562f1527b78dfbda7dfdd41dfd238770
PTO-ARCH-SYSTEM-REGISTERS-TIMER · asl-covered-by-avs · incomingPTO-AVS-ARCH-SYSTEM-REGISTERS-TIMER-THRESHOLD-001avs · state-transition
tests/asl/arch/system-registers/timer/arch-state-timer-threshold-001.asl:1
Source SHA-256: f8563376ee4683301ae6c5448dda2e3b550a2632cf6a1992c98401c5c4248609
PTO-ARCH-SYSTEM-REGISTERS-TIMER · asl-covered-by-avs · incomingPTO-AVS-ARCH-TEMPORARY-QUEUE-VALIDITY-001avs · state-transition
tests/asl/arch/programming-model/execution-context/arch-state-temporary-queue-validity-001.asl:1
Source SHA-256: 80d8a8fc0d55071ffc3213590bef0cdada0bffa8b61797a4dd7dd80f31b88443
PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT · asl-covered-by-avs · incomingPTO-REQ-STATE-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-TESTCOMPLETETRAPENVELOPE-FAULT-001avs · fault
tests/asl/arch/data-types/fault/arch-fault-complete-trap-envelope-001.asl:1
Source SHA-256: 7b876a89dc7673cceb61ed326f196fd959295c0173c58ca18ca96b7085b9adcb
PTO-ARCH-DATA-TYPES-FAULT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTCROSSDISPATCHEXECUTIONCONTRACT-EXECUTION-001avs · execution
tests/asl/arch/dispatch/top-level/arch-exec-cross-dispatch-contract-001.asl:1
Source SHA-256: 7861a22b4ea15c1965e2af12a3e0b92d4084139789113692f695710ad04a34d0
PTO-ARCH-DISPATCH-TOP-LEVEL · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTINTERRUPTREGISTERSTATE-STATE-TRANSITION-001avs · state-transition
tests/asl/arch/system-registers/interrupt/arch-state-register-001.asl:1
Source SHA-256: a64d42334a45d3834287228bb415e2c1d492d7d90323b099bea087aae3f7c78f
PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTPREDICATESTATECONTRACT-STATE-TRANSITION-001avs · state-transition
tests/asl/arch/programming-model/predicate-registers/arch-state-predicate-contract-001.asl:1
Source SHA-256: bb0a8726234ed49cf85ca275bf89d1cfcb8382ddeebc2586aebc8e145c8be6b2
PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTSCALARQUEUEDISPATCH-EXECUTION-001avs · execution
tests/asl/arch/programming-model/scalar-registers/arch-exec-queue-dispatch-001.asl:1
Source SHA-256: 7a5616e33ee2d0d6c1e236c2c687545e5dccaebcae8dd963a077cba1ba2282e4
PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTSCALARTEMPORARYQUEUES-EXECUTION-001avs · execution
tests/asl/arch/programming-model/scalar-registers/arch-exec-temporary-queues-001.asl:1
Source SHA-256: 7cfa876d3353471a75c25a8e0072a513f6b6d92d57528855b82af91c1ffb4b72
PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTTILEALLOCATIONSTATE-STATE-TRANSITION-001avs · state-transition
tests/asl/arch/features/tile-allocation/arch-state-allocation-lifecycle-001.asl:1
Source SHA-256: 873cd964c7ef99c2594c7a9a2bea93b89e00c502b8e29056041e7b037865149f
PTO-ARCH-FEATURES-TILE-ALLOCATION · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTTILEREGISTERMAPPING-STATE-TRANSITION-001avs · state-transition
tests/asl/arch/programming-model/tile-registers/arch-state-register-mapping-001.asl:1
Source SHA-256: cdc3d16b417d59503bece912a372d087a3a377b9041a0231cb03961158a1938c
PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001avs · fault
tests/asl/arch/state/trap-context/arch-fault-routing-policy-001.asl:1
Source SHA-256: 69c5c80eea3b4dc4380e560c027266c98cb6a3bb01ae76cbcac3fd017fabc07e
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTUNIFIEDINSTRUCTIONDISPATCH-EXECUTION-001avs · execution
tests/asl/arch/dispatch/top-level/arch-exec-unified-instruction-dispatch-001.asl:1
Source SHA-256: 24b8cbc802a9ca45ec70b97947810c0edb0eb0c87efff1cad5b776958a2010f2
PTO-ARCH-DISPATCH-TOP-LEVEL · asl-covered-by-avs · incomingPTO-AVS-ARCH-TESTVISIBLETRAPCONTEXTREGISTERS-FAULT-001avs · fault
tests/asl/arch/data-types/trap-context/arch-fault-visible-registers-001.asl:1
Source SHA-256: e18b49d4f3437f3d5906b1b1f24a24a38c353c3ab169354c796952d5c5b93b9c
PTO-ARCH-DATA-TYPES-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TF32-DECOMP-001avs · boundary
tests/asl/arch/data-types/formats/tf32/arch-bound-tf32-decomp-001.asl:1
Source SHA-256: 2b011596bc0e6d292dcee10a65971c514db4d829beae9d0b438ac7cf098b9e57
PTO-ARCH-DATA-TYPES-FORMAT-TF32 · asl-covered-by-avs · incomingPTO-NUMERIC-FINITE-DECOMPOSITION-001 · ndf-covered-by-avs · incomingPTO-AVS-ARCH-TILE-EVENTS-ORDER-003avs · ordering
tests/asl/arch/memory-model/ordering/arch-order-tile-events-003.asl:1
Source SHA-256: 8093407438f1dfc29fd99983624e9d08c6d0f26093539968dcaf50634f830257
PTO-ARCH-MEMORY-MODEL-ORDERING · asl-covered-by-avs · incomingPTO-AVS-ARCH-TILE-SIZECODE-MAP-002avs · boundary
tests/asl/arch/features/tile-allocation/arch-bound-tile-sizecode-map-002.asl:1
Source SHA-256: 18ebe3432213ce4d36660ca51ec1a8e3141cc6914272291ac756b07d8ea44db2
PTO-ARCH-FEATURES-TILE-ALLOCATION · asl-covered-by-avs · incomingPTO-TILE-CAPACITY-PER-PE · ndf-covered-by-avs · incomingPTO-AVS-ARCH-TILEDATATYPE-RESERVED-001avs · boundary
tests/asl/arch/data-types/tile-data-types/arch-bound-tiledatatype-reserved-001.asl:1
Source SHA-256: ae260e537714dc2a32494f6435b7475871a8bffdda8787fb05cfdac3e799975c
PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES · asl-covered-by-avs · incomingPTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003avs · fault
tests/asl/arch/state/trap-context/arch-fault-trap-attributes-003.asl:1
Source SHA-256: f7df68b34c3dc9a97bfc61775cec9c11da201aad38971def3207d790df80fcf1
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002avs · fault
tests/asl/arch/state/trap-context/arch-fault-trap-bindings-002.asl:1
Source SHA-256: 8d480ca45d84e17c8979fe771dafc3e0901bd61af231a7483ad54ebbc6ca476e
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TRAP-CONTROL-FAULT-001avs · fault
tests/asl/arch/state/trap-context/arch-fault-all-leaf-recovery-evidence-001.asl:1
Source SHA-256: 895a73c23839eb7eb945fd943f2f7278f13bb6c54342fbe625f59f3b3f24e8a7
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004avs · fault
tests/asl/arch/state/trap-context/arch-fault-trap-portable-004.asl:1
Source SHA-256: fa38a935c4d9aaca5cca5fe56fc0534825d762250e23f3c9b7f3622cfcf27a29
PTO-ARCH-STATE-TRAP-CONTEXT · asl-covered-by-avs · incomingPTO-AVS-ARCH-TSO-CONCURRENCY-ORDER-001avs · ordering
tests/asl/arch/memory-model/ordering/arch-order-tso-concurrency-001.asl:1
Source SHA-256: 9d01691c413335132b7527d49c2fd1e99f574789cd67624fc2b15ca934fd5132
PTO-ARCH-MEMORY-MODEL-ORDERING · asl-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-ALIAS-CONSUMER-001avs · execution
tests/asl/block/model/operands/local-generation/block-exec-assemble-alias-consumer-001.asl:1
Source SHA-256: 89bb4d1bcf05798ae3073a89cb5e96a3b3cfa110b5b4a4e3d093cb1bca08944b
PTO-B-ASSEMBLE-LOCAL-GENERATION-001 · ndf-covered-by-avs · incomingPTO-B-SUBVIEW-DESCRIPTOR-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-DYNAMIC-DOMAIN-002avs · state-transition
tests/asl/block/model/operands/portable-carriers/block-state-assemble-dynamic-domain-002.asl:1
Source SHA-256: 569c78b4db9ff01b5b949f3e35aca5c1d0a8a91bf873f0aabb37cff669c01b4f
PTO-B-ASSEMBLE-SPECULATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS · asl-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-LOCAL-FAULTS-001avs · fault
tests/asl/block/model/operands/local-generation/block-fault-assemble-local-faults-001.asl:1
Source SHA-256: 22cb556792488b42e40ec17571d961519e0cd66911c03434306e6920f170a61e
PTO-B-ASSEMBLE-LOCAL-GENERATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-LOCAL-LIFECYCLE-001avs · execution
tests/asl/block/model/operands/local-generation/block-exec-assemble-local-lifecycle-001.asl:1
Source SHA-256: 6127226a74cc6b1982898a62a35bd3e2145b9485bbe1cc858bd939d67132f511
PTO-B-ASSEMBLE-LOCAL-GENERATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-MULTIOUTPUT-001avs · atomicity
tests/asl/block/model/operands/local-generation/block-atomic-assemble-multioutput-001.asl:1
Source SHA-256: 0a936b30a2b754ac42dd93cd893a8377bb847f8d4c43cf26c785754e9f357b2a
PTO-B-ASSEMBLE-LOCAL-GENERATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-PORTABLE-CARRIERS-001avs · execution
tests/asl/block/model/operands/portable-carriers/block-exec-assemble-portable-carriers-001.asl:1
Source SHA-256: 11e59453724fa2271ae8b7528829da24f05d34eabc7fe8d3d2a71ecb2b3ef63f
PTO-B-ASSEMBLE-CONSUMER-READINESS-001 · ndf-covered-by-avs · incomingPTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001 · ndf-covered-by-avs · incomingPTO-B-ASSEMBLE-SPECULATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-SUBVIEW · ndf-covered-by-avs · incomingPTO-INST-BLOCK-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-ASSEMBLE-RESTART-001avs · fault
tests/asl/block/model/operands/local-generation/block-fault-assemble-restart-001.asl:1
Source SHA-256: 2811b86d9c533058a60ad7fb19f135755ca0e622e3951560429a9fa9d6bfbb54
PTO-B-ASSEMBLE-LOCAL-GENERATION-001 · ndf-covered-by-avs · incomingPTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-ASSEMBLE-DECODE-001avs · decode-positive
tests/asl/block/operands/B.ASSEMBLE/block-decode-b-assemble-canonical-001.asl:1
Source SHA-256: 1eb9e010027c0a8a3b5fa4de6813279314f02db8f0883777dba44dc99ae4b281
PTO-BLOCK-B-ASSEMBLE · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-ASSEMBLE-ENCODING-001avs · execution
tests/asl/block/operands/B.ASSEMBLE/block-exec-b-assemble-001.asl:1
Source SHA-256: 6ebdcb83b1ea48f8f5191133e52a0ce3d323866c4518102fd3caeb2a656616f3
PTO-BLOCK-B-ASSEMBLE · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-ASSEMBLE · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-DECODE-001avs · decode-positive
tests/asl/block/attributes/B.CATR/block-decode-b-catr-canonical-001.asl:1
Source SHA-256: 164c807b3098af42cf06371e3db36b780298151c4a883c14067d4ac2b65f1c19
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-DR-ENGINE-001avs · fault
tests/asl/block/attributes/B.CATR/block-fault-b-catr-dr-engine-001.asl:1
Source SHA-256: 4688594f481e05af5601b7f24cfea1e78e48a5d7d42725e268a288c0b380f59c
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-DUPLICATE-001avs · fault
tests/asl/block/attributes/B.CATR/block-fault-b-catr-duplicate-001.asl:1
Source SHA-256: 0c39e7916bbb1d2a1ea59edb33c13c7e32fc84c370d7963a21f0ad4d7ce576fd
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-FIELDS-001avs · state-transition
tests/asl/block/attributes/B.CATR/block-state-b-catr-fields-001.asl:1
Source SHA-256: 199b4e3995ec10701429f2a0cb0e577a510bc2cb2602c6e5bbd2b93cdacfd61c
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-PLACEMENT-001avs · fault
tests/asl/block/attributes/B.CATR/block-fault-b-catr-placement-001.asl:1
Source SHA-256: a4b8e84bf0c70e3fa24bd3d4e615d73d703f99c55774dc864ebf6de241f6ad4d
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-CATR-POST-TRAP-001avs · fault
tests/asl/block/attributes/B.CATR/block-fault-b-catr-post-trap-001.asl:1
Source SHA-256: 36b44c529d1f7894dcd3b0816c743f5f4666db3c025624e6ae5f4e5c23bee95c
PTO-BLOCK-B-CATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-CATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-CUBE-LAYOUTS-002avs · decode-positive
tests/asl/block/attributes/B.DATR/block-decode-b-datr-cube-layouts-002.asl:1
Source SHA-256: 0c129547e5982e7b3168b89d4b5f53aaea87d0eb5c6e5341f9da1a399519493c
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-CUBE-CELL-TRANSPORT-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-CUBE-RESERVED-003avs · boundary
tests/asl/block/attributes/B.DATR/block-bound-b-datr-cube-reserved-003.asl:1
Source SHA-256: 4207712040d63f65847372f6579de184b0842640bc4283760c6e3d3c2ae2a935
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-CUBE-CELL-TRANSPORT-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-DECODE-001avs · decode-positive
tests/asl/block/attributes/B.DATR/block-decode-b-datr-canonical-001.asl:1
Source SHA-256: f42b97165059fc07dc48693b6ef21da777fe57f2a7e28d23869542c4a9b65822
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-DUPLICATE-001avs · fault
tests/asl/block/attributes/B.DATR/block-fault-b-datr-duplicate-001.asl:1
Source SHA-256: 7241d4fddb3f97ec55918afac1be2a6a0d90c848e532b158c32a2354f57e11dc
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-FIELDS-001avs · state-transition
tests/asl/block/attributes/B.DATR/block-state-b-datr-fields-001.asl:1
Source SHA-256: 5b53eafe1d64e54e9655eaa9ec8dfe9d3c9169368e13a53d254fa37f7a232ea0
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-LAYOUT-MAP-001avs · boundary
tests/asl/block/attributes/B.DATR/block-bound-b-datr-layout-map-001.asl:1
Source SHA-256: dcd491ccaca2da771ac30023423e5b10e49afb3a01b545abc747669e7ddcc0b7
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-OMITTED-PAD-001avs · execution
tests/asl/block/attributes/B.DATR/block-exec-b-datr-omitted-pad-001.asl:1
Source SHA-256: 996f325d717c1454cdbcd6332f81defcbdbe2e6b767a679db7609f00ec606b83
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-OMITTED-TYPE-001avs · execution
tests/asl/block/attributes/B.DATR/block-exec-b-datr-omitted-type-001.asl:1
Source SHA-256: c70d683bfc11d53a00b77724739d4010ec42b669b1ec75219415c63622ba403e
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-PLACEMENT-001avs · fault
tests/asl/block/attributes/B.DATR/block-fault-b-datr-placement-001.asl:1
Source SHA-256: 7d27300633edc4868702ef66c6b4cc55be83e76e13faf16b4853fbe8402f6e01
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DATR-RMODE-001avs · boundary
tests/asl/block/attributes/B.DATR/block-bound-b-datr-rmode-001.asl:1
Source SHA-256: 0fd204367c659e0f4519b95983e7b228c4155eea13e3e6cb6654ced750d82e42
PTO-BLOCK-B-DATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DIM-DECODE-001avs · decode-positive
tests/asl/block/attributes/B.DIM/block-decode-b-dim-canonical-001.asl:1
Source SHA-256: ac10b1de4aa54f5b37851d0c11fceb50bccea736477e5f9fb38246fbef8d81a5
PTO-BLOCK-B-DIM · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DIM · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DIM-DUPLICATE-001avs · fault
tests/asl/block/attributes/B.DIM/block-fault-b-dim-duplicate-001.asl:1
Source SHA-256: 162fa5b1502d7a0bad903f4e7e16c77a506a16d6c0a6b991ce7684d90644e36d
PTO-BLOCK-B-DIM · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DIM · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DIM-GPR-BOUNDARY-001avs · boundary
tests/asl/block/attributes/B.DIM/block-bound-b-dim-gpr-001.asl:1
Source SHA-256: 0050301c2823c2a9c533dba50fc989857f08b2a506e4214f9eca856d1545b4e8
PTO-BLOCK-B-DIM · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DIM · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DIM-LOW16-001avs · boundary
tests/asl/block/attributes/B.DIM/block-bound-b-dim-low-16-001.asl:1
Source SHA-256: a01b03b0d012fd0a7c4cee205b40660022d498c0ac2ac5b8ccc2800abcab790d
PTO-BLOCK-B-DIM · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DIM · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-DIM-PLACEMENT-001avs · fault
tests/asl/block/attributes/B.DIM/block-fault-b-dim-placement-001.asl:1
Source SHA-256: 47118ea1df163ed60cf193866e5022ccc932f4546f2ab351d5698629054f339c
PTO-BLOCK-B-DIM · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-DIM · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-ACT-004avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-activation-004.asl:1
Source SHA-256: 6130cfccb6f9d4a86c6312fbb04c91c3e8e6688371f4054632c48a33628a50b4
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-ALL-MODES-007avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-all-modes-007.asl:1
Source SHA-256: 34dae6d44a62b607e5bf64cd82beab8718a3b743c35ccc14fd71745f8aad2d97
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-COMMIT-006avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-commit-006.asl:1
Source SHA-256: d49332a185ae413affe511788516a9fe6ae2f544d0955702906654cb73270d37
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-CONTROLS-010avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-controls-010.asl:1
Source SHA-256: 3f8b691fa83f7ee15971b75d551a5aa0042fb15343c338b204abca19455145a5
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-MATRIX-QUANT-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-CSCALE-001avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-cscale-001.asl:1
Source SHA-256: 270fe6450eeccf383df7e7722dd4081792c754ca7068ae86bfb2404357e39ca4
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-CUBE-CSCALE-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-cscale-002.asl:1
Source SHA-256: 78703db8cf9b382c35994065aa1fd1f653b9503d9a9ae713c29d0237c66e9151
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-CUBE-CSCALE-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-DECODE-001avs · decode-positive
tests/asl/block/attributes/B.FPATR/block-decode-b-fpatr-canonical-001.asl:1
Source SHA-256: 67f0a2f350476fc4e6c6ba85885861a8a85384f852ff9595a1d8756ac39a1471
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-DUPLICATE-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-duplicate-001.asl:1
Source SHA-256: f4b84dafdb047f2565461e14274baebcc149413bd73b235f243105c78f9b8a14
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-FORMATS-003avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-formats-003.asl:1
Source SHA-256: f6a2cad4ef0b95950f7c78e944d414b54b7a3677b83b18f263e84058c4d5bba0
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-GROUP-RSVD-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-group-rsvd-001.asl:1
Source SHA-256: f3bb9ab757bbac3cd922bfc30e605708cf6fe720f49a681c1e4de7bb39d937c5
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-INPUT-TYPE-002avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-input-type-002.asl:1
Source SHA-256: 4d0b0a29abea74fe03d3619a1695d5fed6f7f16f6d0287de5d1624a4ff3b6501
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-MODE-TABLE-BOUNDARY-001avs · boundary
tests/asl/block/attributes/B.FPATR/block-bound-b-fpatr-mode-table-001.asl:1
Source SHA-256: 8b7a4f5c2253d2bdb40ac7bb90b07ce9814efc53b4e7745894a6e75974a0604e
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-NONMATRIX-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-nonmatrix-001.asl:1
Source SHA-256: a055c22a14cf90d82782522738a5032d1fa1a0a04058c451fd23298c2c71de15
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-operand-routing-001.asl:1
Source SHA-256: 03be4b045c46306f4a54827dfad1e34160b1c56688fe9a6fc82b4b1e4a186e26
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-CUBE-CSCALE-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PLACE-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-placement-001.asl:1
Source SHA-256: 0108364c47bee6fcdebb2069c88f2194cd1157ae9e7223201807ebc40384e7a0
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ14-15-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq14-15-001.asl:1
Source SHA-256: c895c92c9c82f55b2ac06e3c78d894de340489a973305cb207f968a9e15cff4c
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ21-22-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq21-22-001.asl:1
Source SHA-256: b34dbbde87bd6599ece27b67167dcfa3f76ae4acef7cf9245962923251649950
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ29-31-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq29-31-001.asl:1
Source SHA-256: 54648e569a7603a4c739e6c8cebe1e87410955fefa59e2f2f8ceb9a94a8df4ef
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ40-47-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq40-47-001.asl:1
Source SHA-256: 9edc0c835961e9c7617232c4c01d435234b273c9fdb26b18caada1592e54b048
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ48-55-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq48-55-001.asl:1
Source SHA-256: a0f7e1770dbe2b80eca30877c157d1112b58ab8a5b95a50d07cc55932bdbe8b4
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-PQ56-63-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq56-63-001.asl:1
Source SHA-256: 43f8baedd4e50671e8e56ffc63e7db8a7b35b4408c63357e94c082a8ddf50b12
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-QUANT-002avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-quant-002.asl:1
Source SHA-256: 18153b1bf5908bb97f3b6018016ff3dd6abddb58291af3903d6a16fb983c7142
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-RELU-RSVD-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-relu-rsvd-001.asl:1
Source SHA-256: 7755b14737e406eba2ba42a611128249bb8d0fb2690167f361989507abb18dff
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-RESET-CLEAR-001avs · state-transition
tests/asl/block/attributes/B.FPATR/block-state-b-fpatr-reset-clear-001.asl:1
Source SHA-256: a9a53b37f2465fe7f5ffb7376023787c2a28264438b6505ce9add74c279b8761
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-ROUNDING-008avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-rounding-008.asl:1
Source SHA-256: 39774698c6a2b365291c974bdc41e35c4cbdfdef4957428b193e09c8ae2ba391
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-MATRIX-QUANT-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-RSVD-001avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq06-11-001.asl:1
Source SHA-256: 33ff3f0bc2ebbde97d07cf48a21789871090dc1ce7857242a4651f87896052c0
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-SPECIAL-005avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-special-005.asl:1
Source SHA-256: 1dafeda291de684c6810f86b3c4e57a0bc90018a72228d8c042c20bc63e42e86
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011avs · decode-positive
tests/asl/block/attributes/B.FPATR/block-decode-b-fpatr-transpose-011.asl:1
Source SHA-256: c73850ac7324b9a970e768cb6a999e75d215fb862aa92d12631e33594766e213
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-CUBE-SHARED-TRANSPOSE-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012avs · fault
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-transpose-rsvd-012.asl:1
Source SHA-256: 87c5841391fd67fcf7886b5e8e7d09aaca44f13382dbf107a2a6d35d47ca8ca1
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-CUBE-CSCALE-001 · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-zero-affine-009.asl:1
Source SHA-256: f2fbb807f80841402374fda9bf213be973ba03c06448e6f5b63100f72d868f17
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-MATRIX-POSTPROCESS-BITEXACT-001 · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-FPATR-ZMASK-001avs · execution
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-zero-mask-order-001.asl:1
Source SHA-256: ef0482bf02645e29c78839d94e04981ea02574d2056522bc82d847d299a0b094
PTO-BLOCK-B-FPATR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-FPATR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-HINT-DECODE-001avs · decode-positive
tests/asl/block/lifecycle/B.HINT/block-decode-b-hint-canonical-001.asl:1
Source SHA-256: 4290872f3ba9bc3b8421f116597373fae99f8d9c627680c633181f6dd4b0c728
PTO-BLOCK-B-HINT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-HINT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-HINT-DUPLICATE-001avs · fault
tests/asl/block/lifecycle/B.HINT/block-fault-b-hint-duplicate-001.asl:1
Source SHA-256: 5dcc30eaef7f8656a65e8c6e25c541bbacf8f1525a9435c9319797999c5d22d5
PTO-BLOCK-B-HINT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-HINT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-HINT-FIELDS-001avs · execution
tests/asl/block/lifecycle/B.HINT/block-exec-b-hint-fields-001.asl:1
Source SHA-256: 07f35a1b66ce7618853adc2aa2a4f2a3841d4b5f02f38c59d38555ec35e46112
PTO-BLOCK-B-HINT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-HINT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-HINT-PLACEMENT-001avs · fault
tests/asl/block/lifecycle/B.HINT/block-fault-b-hint-placement-001.asl:1
Source SHA-256: 331bbecaaef65b82c89def309c9b13fa46a514a4f81386b23b0ce7b2d8be0898
PTO-BLOCK-B-HINT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-HINT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-HINT-TRACE-LIFECYCLE-001avs · state-transition
tests/asl/block/lifecycle/B.HINT/block-state-b-hint-trace-lifecycle-001.asl:1
Source SHA-256: c76cc98a6f125991195cd1ad70351aec73578147d6f458d95e90ef94343320c1
PTO-BLOCK-B-HINT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-HINT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-DECODE-001avs · decode-positive
tests/asl/block/operands/B.IOR/block-decode-b-ior-canonical-001.asl:1
Source SHA-256: 41eac5c50b41de9083dc2e0d2aeffa1f10aba17deae302940f0e516b9619080c
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-DEFAULTS-EXEC-001avs · execution
tests/asl/block/operands/B.IOR/block-exec-b-ior-end-to-end-001.asl:1
Source SHA-256: 90db79a5f36d0015b50aecbd8b9bc1c58ca23ed6caad501cadf9408d78ac4814
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-EXECUTION-001avs · execution
tests/asl/block/operands/B.IOR/block-exec-b-ior-ordered-gpr-helper-coverage-001.asl:1
Source SHA-256: b840a658d82657d21e301f8419a42f6cc1e229c2d4bcb043cf7d87a8f36b8966
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-ORDER-EXEC-002avs · execution
tests/asl/block/operands/B.IOR/block-exec-b-ior-order-002.asl:1
Source SHA-256: 9645c5f0d3b77532f08aacb7544d798590850e1de36b94e9f7b9a07baab844f7
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-ORDERED-GPR-EXECUTION-001avs · execution
tests/asl/block/operands/B.IOR/block-exec-b-ior-ordered-gpr-001.asl:1
Source SHA-256: 1a54b4476a71f525a388252ee56ddcea2d605eb0586c1ba4a87e613f03d983f9
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-PLACEMENT-001avs · fault
tests/asl/block/operands/B.IOR/block-fault-b-ior-placement-001.asl:1
Source SHA-256: 25c4a4a82fa9557d552193a8488a9d220b6e711bd3591c26feec43f802a1cb79
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOR-TILE-CONSUMERS-EXEC-003avs · execution
tests/asl/block/operands/B.IOR/block-exec-b-ior-tile-consumers-003.asl:1
Source SHA-256: c9cd039c91973c3850d6dfefe4ac2450135db435db1fd77303706c341390ad96
PTO-BLOCK-B-IOR · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOR · ndf-covered-by-avs · incomingPTO-INST-TILE-TCI · ndf-covered-by-avs · incomingPTO-INST-TILE-TMRGSORT · ndf-covered-by-avs · incomingPTO-INST-TILE-TSORT · ndf-covered-by-avs · incomingPTO-INST-TILE-TTRI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-CAPACITY-003avs · boundary
tests/asl/block/operands/B.IOS/block-bound-b-ios-capacity-003.asl:1
Source SHA-256: 24fc59f2d1e714552e9482530faef15e6211c3ac4e1bd8fd795f0fc58e546449
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-INST-TILE-TLOAD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-CONSUMER-001avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-consumer-001.asl:1
Source SHA-256: 228f44cc68acc2d33bb38f2176a1c350d5b137958a1920338e12c0161133c3bf
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-INST-TILE-TLOAD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-DECODE-001avs · decode-positive
tests/asl/block/operands/B.IOS/block-decode-b-ios-canonical-001.asl:1
Source SHA-256: cc4a8d801456b22eb9874dbe0b8830885d9e7602d5eb64c7279474e98097d8fc
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-ENCODING-002avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-shared-binding-v-6-001.asl:1
Source SHA-256: f3d3dc21fbd3828f10ab9c87c20d93494c37152263ea96423d177116885acdbc
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-MASK-CONSISTENCY-001avs · fault
tests/asl/block/operands/B.IOS/block-fault-b-ios-mask-consistency-001.asl:1
Source SHA-256: 3f0548a82d46f11d14b3c67efc7414cc50c0f2649c8b7f6b121022ea5050cb27
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-PEMODE-005avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-pemode-005.asl:1
Source SHA-256: d5ba3cc36efab968ef7adb985b1532a4af3fff48c3d4d0858e460d0a6d96609c
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-PLACEMENT-001avs · fault
tests/asl/block/operands/B.IOS/block-fault-b-ios-placement-001.asl:1
Source SHA-256: e0de03f89c0e2659b2df7ed826399dd77588369e56ae37536d92fde7c106dcc5
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-SIZECODE-012-001avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-sizecode-012-001.asl:1
Source SHA-256: bb224ec2a786495a0f3674a495606bd8e81cf3364674457407b54799f96a6343
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-SIZECODES-003avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-sizecodes-003.asl:1
Source SHA-256: 31bc97e854318e7d899d0d15ef51182ed4a2d932ebd8adcff9478a512f66b181
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-STREAM-001avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-shared-binding-v-5-001.asl:1
Source SHA-256: af52bbc85ceb177de66e7465eb848a5d9e583ade7b8388729838f0ed01cfa920
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-STREAM-LIMIT-001avs · fault
tests/asl/block/operands/B.IOS/block-fault-b-ios-stream-limit-001.asl:1
Source SHA-256: ade13b08e72a77f149634949bde45190d9a4a3636bcd4ab8b82fa10a57bde72e
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-VEC-USE-001avs · fault
tests/asl/block/operands/B.IOS/block-fault-b-ios-vec-use-001.asl:1
Source SHA-256: f1ed797071ea95f8b1226e3d205041d13f7f6414214f3d69e45a67ae59248dd2
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOS-ZERO-MASK-001avs · execution
tests/asl/block/operands/B.IOS/block-exec-b-ios-zero-mask-001.asl:1
Source SHA-256: 7359aaf123bae1589d4139bb3c0d2c81fb3a5e8ed41ce91ffe2d62c4869f6e01
PTO-BLOCK-B-IOS · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-CAPACITY-003avs · boundary
tests/asl/block/operands/B.IOT/block-bound-b-iot-capacity-003.asl:1
Source SHA-256: f403c7eb322f1d614d3d3de0c1efd26372a2ce67424f3e633137e13578b2646b
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-INST-TILE-TLOAD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-CONSUMER-001avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-consumer-001.asl:1
Source SHA-256: 10b7899e2f282abb7109f6286e8ed949a617484887e9421e1318ae90ca60b814
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-INST-TILE-TLOAD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-DECODE-001avs · decode-positive
tests/asl/block/operands/B.IOT/block-decode-b-iot-canonical-001.asl:1
Source SHA-256: 74155fbb96b7606d46594292421b0f73c515aad12b0ff861541f32bb722d9099
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-LAST-ORDER-001avs · fault
tests/asl/block/operands/B.IOT/block-fault-b-iot-last-order-001.asl:1
Source SHA-256: 5de9a502195bd2038851e97004689d4d1ed3340e74a2f5e534a9c04518ce4689
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-PEMODE-004avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-pemode-004.asl:1
Source SHA-256: 2a852f000046410e182a7f8f4ac641ecc6a6eaf727d77b91de41157fa009ee7c
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-PLACEMENT-001avs · fault
tests/asl/block/operands/B.IOT/block-fault-b-iot-placement-001.asl:1
Source SHA-256: 7731efdff27ddfd3f475e2138dfdcd74d17f328f77c5c345931135a6ee014d4e
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-SCHEMAS-001avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-tile-binding-v-5-schemas-001.asl:1
Source SHA-256: e6b4cc21b1d53a85a3b7c47d4b56dcb4b012033a65b91cd09c330f4b9077baea
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-SIZECODE-010-001avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-sizecode-010-001.asl:1
Source SHA-256: ceb286dab40fa043743de1ce85673b4a52115bc5c88796ec3179704aa8166bee
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-SIZECODE-012-001avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-sizecode-012-001.asl:1
Source SHA-256: b9734285fb960e5f6511532af4aec77369a0250a66f0d70f44d82d96fe8e4f45
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-SIZECODES-002avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-sizecodes-002.asl:1
Source SHA-256: 3d23dcfede40d2336bcfff764b1f77cd0f8af6f5fceef8d4f381c908a9081849
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-SOURCE-PERSIST-001avs · state-transition
tests/asl/block/operands/B.IOT/block-state-b-iot-source-persist-001.asl:1
Source SHA-256: a8ca86b468fb2b0b7c74b79d2750bb0920fc8278d734f9b3c5d0ab5449442bc1
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-IOT-ZERO-MASK-001avs · execution
tests/asl/block/operands/B.IOT/block-exec-b-iot-zero-mask-001.asl:1
Source SHA-256: 7311af3c5c72ab362759b3c8851c97515a3c0eda41a611294ea94f010e340ec1
PTO-BLOCK-B-IOT · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-SUBVIEW-DECODE-001avs · decode-positive
tests/asl/block/operands/B.SUBVIEW/block-decode-b-subview-canonical-001.asl:1
Source SHA-256: 1d61c7c6587fee8f7daa9974fc56a84426f2578842292c70c1dd8ee6b767173b
PTO-BLOCK-B-SUBVIEW · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-SUBVIEW · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-B-SUBVIEW-ENCODING-001avs · execution
tests/asl/block/operands/B.SUBVIEW/block-exec-b-subview-001.asl:1
Source SHA-256: 8acbb34ecde853e4efb05584e88aae47f7157611499481ef6cffbeeb3c67e1c3
PTO-BLOCK-B-SUBVIEW · asl-covered-by-avs · incomingPTO-INST-BLOCK-B-IOS · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-IOT · ndf-covered-by-avs · incomingPTO-INST-BLOCK-B-SUBVIEW · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-BARG-001avs · state-transition
tests/asl/block/lifecycle/BSTART/block-state-bstart-barg-001.asl:1
Source SHA-256: 1d790863335297e78031666d9ce5521459179059cee8585ff2e6523f4d546376
PTO-BLOCK-BSTART · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-BPCN-ALIGN-001avs · fault
tests/asl/block/lifecycle/BSTART/block-fault-bstart-bpcn-align-001.asl:1
Source SHA-256: fbc990755a2513f82dfeff03b33bfe93a7499c65c3cbf694d1a2bd3bc38f34c8
PTO-BLOCK-BSTART · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-CALL-ATOMIC-001avs · state-transition
tests/asl/block/execution/BSTART.CALL/block-state-bstart-call-atomic-001.asl:1
Source SHA-256: 22a6c785f8ec01dfcf8b1b559d5c6cc1464f2c6c5d767d46756194fba2493433
PTO-BLOCK-BSTART-CALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-CALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-CALL-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.CALL/block-decode-bstart-call-canonical-001.asl:1
Source SHA-256: 6593ffab34da459057a8d7e49d7a44ea9cd31bc7de4a2d622f0625fc847dbeab
PTO-BLOCK-BSTART-CALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-CALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-CALL-FUSED-FORMS-001avs · boundary
tests/asl/block/execution/BSTART.CALL/block-bound-bstart-call-fused-forms-001.asl:1
Source SHA-256: ab001227f0d9f974e11ecdfefc173ea09f986660ccebaf685a70a716f6532ea4
PTO-BLOCK-BSTART-CALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-CALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-CALL-ROLLBACK-001avs · fault
tests/asl/block/execution/BSTART.CALL/block-fault-bstart-call-rollback-001.asl:1
Source SHA-256: dc892599471500b5c9122a755832d9d82c7c8b9d7050373c01172da726f4e21d
PTO-BLOCK-BSTART-CALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-CALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-COND-SETC-001avs · state-transition
tests/asl/block/lifecycle/BSTART/block-state-bstart-cond-setc-001.asl:1
Source SHA-256: ad01c9c9b179f0595cf35f90589b855817447dc9cad806eef50d481a5c06c2dc
PTO-BLOCK-BSTART · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-DECODE-001avs · decode-positive
tests/asl/block/lifecycle/BSTART/block-decode-bstart-canonical-001.asl:1
Source SHA-256: 98a497ae85eae27f06573c8d9135332b88174f327821ac89980b864d2624d667
PTO-BLOCK-BSTART · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-FP-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.FP/block-decode-bstart-fp-canonical-001.asl:1
Source SHA-256: 2c02e993a26d3562a6c1502fc2764fb790931a77d193eb084ab38efdea814c7b
PTO-BLOCK-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-FP-DELETED-001avs · fault
tests/asl/block/execution/BSTART.FP/block-fault-bstart-fp-deleted-001.asl:1
Source SHA-256: 316cf4a36355516a996f71827accedcf8d7134e17dc1147355cb7ea214a0bdbe
PTO-BLOCK-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-FP-STATE-001avs · state-transition
tests/asl/block/execution/BSTART.FP/block-state-bstart-fp-barg-commit-001.asl:1
Source SHA-256: da5ce2503581806466e57f7080021f950b37b4bc2b932b0aad92bac4fe0cc90a
PTO-BLOCK-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-GMOV-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.GMOV/block-decode-bstart-gmov-canonical-001.asl:1
Source SHA-256: c8a6dec0e12cae9dafe6f64cc3395a3a11a115c9be86c2ec4e4bc4afd7633874
PTO-BLOCK-BSTART-GMOV · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-GMOV · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-ICALL-BARG-001avs · state-transition
tests/asl/block/execution/BSTART.ICALL/block-state-bstart-icall-barg-001.asl:1
Source SHA-256: bbae7d673d1b2b7553b48457e69bdab799882f3e1bac33872bc6cd80f279aa70
PTO-BLOCK-BSTART-ICALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-ICALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-ICALL-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.ICALL/block-decode-bstart-icall-canonical-001.asl:1
Source SHA-256: a9e6821f84e6dead81f6ef06c8bfb5c7ab351f5dc0a2c45431f89e7eebda04bd
PTO-BLOCK-BSTART-ICALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-ICALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-ICALL-ROLLBACK-001avs · fault
tests/asl/block/execution/BSTART.ICALL/block-fault-bstart-icall-rollback-001.asl:1
Source SHA-256: f37357ba984f779b29808919e401ca09b05674735ba7d619cdc94ca51bfced78
PTO-BLOCK-BSTART-ICALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-ICALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-ICALL-STANDALONE-REJECT-001avs · boundary
tests/asl/block/execution/BSTART.ICALL/block-bound-bstart-icall-standalone-reject-001.asl:1
Source SHA-256: 99aa0ea116e98147a0f19f72a0bce1cffb36c273228accf10f887c52f8eabfd3
PTO-BLOCK-BSTART-ICALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-ICALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-ICALL-SYS-SOURCE-001avs · fault
tests/asl/block/execution/BSTART.ICALL/block-fault-bstart-icall-sys-source-001.asl:1
Source SHA-256: f0308b27a44e9b398b0fee76c5d74b7128d5f981b5987e3171d8af6a24911b19
PTO-BLOCK-BSTART-ICALL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-ICALL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-MGATHER-CAS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.MGATHER.CAS/block-decode-bstart-mgather-cas-canonical-001.asl:1
Source SHA-256: 598cedd5c9da4b316e4fe0d6927317ad05cfaadc1c8a65354e3f20c729ed3002
PTO-BLOCK-BSTART-MGATHER-CAS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-MGATHER-CAS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-MGATHER-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.MGATHER/block-decode-bstart-mgather-canonical-001.asl:1
Source SHA-256: 61adb34157f1a83d4e768d4e38c59a8fc2cf9c88b7b4fab2e049d9a9d4d9d704
PTO-BLOCK-BSTART-MGATHER · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-MGATHER · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-MGATHER-MASK-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.MGATHER.MASK/block-decode-bstart-mgather-mask-canonical-001.asl:1
Source SHA-256: 74b900dd7c6ae7b79846d0f72c49dfb4c3ecb020e6c869c8c47e5dad8289ef6d
PTO-BLOCK-BSTART-MGATHER-MASK · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-MGATHER-MASK · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-MSCATTER-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.MSCATTER/block-decode-bstart-mscatter-canonical-001.asl:1
Source SHA-256: ec1f8ee44d529cb2f466aebdf6dd8780c00135047faced44e21164a7b1d84b94
PTO-BLOCK-BSTART-MSCATTER · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-MSCATTER · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-MSCATTER-MASK-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.MSCATTER.MASK/block-decode-bstart-mscatter-mask-canonical-001.asl:1
Source SHA-256: 2bba39b790ac01321ceb8e0e37697888de7db35cb8143765c52225f510123966
PTO-BLOCK-BSTART-MSCATTER-MASK · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-MSCATTER-MASK · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SFU-ALIAS-COMMIT-001avs · state-transition
tests/asl/block/execution/BSTART.SFU/block-state-bstart-sfu-alias-commit-001.asl:1
Source SHA-256: aa1ff63195fac47fe6c42029c24a3cb919de28f7348101f8367f3cc927667691
PTO-BLOCK-BSTART-SFU · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SFU · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SFU-ALIAS-ROLLBACK-001avs · fault
tests/asl/block/execution/BSTART.SFU/block-fault-bstart-sfu-alias-rollback-001.asl:1
Source SHA-256: acf6efc6558b4bd38525964f60f3b089b9e99fccf88519f780dce630d13aa546
PTO-BLOCK-BSTART-SFU · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SFU · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SFU-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.SFU/block-decode-bstart-sfu-canonical-001.asl:1
Source SHA-256: 82a7a1a8825c303bbb9c7e214ab4044effc5ee715320ecd9b3ed5165d24c4397
PTO-BLOCK-BSTART-SFU · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SFU · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SFU-ENGINE-001avs · boundary
tests/asl/block/execution/BSTART.SFU/block-bound-bstart-sfu-engine-001.asl:1
Source SHA-256: 2e8a7d98ac91707d6e3e174de42053c6ba063ce1c595d6f8048d96fafe0e707a
PTO-BLOCK-BSTART-SFU · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SFU · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-STD-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.STD/block-decode-bstart-std-canonical-001.asl:1
Source SHA-256: 5558946e8e44fe726cf1c31f57e9cf11715672e36e7f4dab287001c5bb23650e
PTO-BLOCK-BSTART-STD · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-STD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-STD-DELETED-001avs · fault
tests/asl/block/execution/BSTART.STD/block-fault-bstart-std-deleted-001.asl:1
Source SHA-256: f6a0a13dc4e009f05440b7665be4f278bce96c288bb3c5daa413fbf7f5010ab4
PTO-BLOCK-BSTART-STD · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-STD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-STD-STATE-001avs · state-transition
tests/asl/block/execution/BSTART.STD/block-state-bstart-std-barg-commit-001.asl:1
Source SHA-256: 8a6f1c2a1b321a8265a4022c56c6e90cab437f95c2c180c1ccdcf2d7b73cafb6
PTO-BLOCK-BSTART-STD · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-STD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SYS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.SYS/block-decode-bstart-sys-canonical-001.asl:1
Source SHA-256: f6b3d0d323a3d0bae3c8ec2d1775a5f3e1cbb383e6d9ccc4f67b503a383bc546
PTO-BLOCK-BSTART-SYS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SYS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SYS-RESERVED-001avs · fault
tests/asl/block/execution/BSTART.SYS/block-fault-bstart-sys-reserved-001.asl:1
Source SHA-256: faf6b27debf19d566f55fdf3e19c723ed5df31e2498ee567048413bd7c34fd79
PTO-BLOCK-BSTART-SYS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SYS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-SYS-STATE-001avs · state-transition
tests/asl/block/execution/BSTART.SYS/block-state-bstart-sys-barg-commit-001.asl:1
Source SHA-256: 83f8021d671ab2325acb727f867dbc8d028da32ec9ae8e40751cb4dccbb75237
PTO-BLOCK-BSTART-SYS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SYS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TEPL-ALIASES-001avs · static-invariant
tests/asl/block/execution/BSTART.TEPL/block-static-bstart-tepl-aliases-001.asl:1
Source SHA-256: 74f56dadc3bba98d7d451496922b552ca651bb1e557e5178f9143e71dd28e578
PTO-BLOCK-BSTART-TEPL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-SFU · ndf-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TEPL · ndf-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-VEC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TEPL-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TEPL/block-decode-bstart-tepl-canonical-001.asl:1
Source SHA-256: 1995eb3a76843bce088a7e805fc23ca983f0ffe70b924c41e0849618d1740467
PTO-BLOCK-BSTART-TEPL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TEPL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TEPL-RESERVED-001avs · fault
tests/asl/block/execution/BSTART.TEPL/block-fault-bstart-tepl-reserved-001.asl:1
Source SHA-256: 831baa2b44d5765c438b0ca783c6e094467d9c6624358c1d75c06a9fe98b0a09
PTO-BLOCK-BSTART-TEPL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TEPL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMV-ACC-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMV.ACC/block-decode-bstart-tgemv-acc-canonical-001.asl:1
Source SHA-256: 06c333a3b5ccb007ea6b33acce77fdbe71f1ee9db98f9795ae2fe90d26115909
PTO-BLOCK-BSTART-TGEMV-ACC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMV-ACC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMV-BIAS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMV.BIAS/block-decode-bstart-tgemv-bias-canonical-001.asl:1
Source SHA-256: 6ea226e4cc69b19474a16f9f622c0f292b99775f4ff27931c1411fbd879294a3
PTO-BLOCK-BSTART-TGEMV-BIAS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMV-BIAS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMV-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMV/block-decode-bstart-tgemv-canonical-001.asl:1
Source SHA-256: ee3880137b6ff34cec2e07bd5ca75565650714598c0a9ffc97782ea8658a9d8f
PTO-BLOCK-BSTART-TGEMV · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMV · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMVMX-ACC-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMVMX.ACC/block-decode-bstart-tgemvmx-acc-canonical-001.asl:1
Source SHA-256: e7866e736eb6d7905259e7ad28418cc2de2f7021b991ddea3cb6acecfec3d344
PTO-BLOCK-BSTART-TGEMVMX-ACC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMVMX-ACC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMVMX-BIAS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMVMX.BIAS/block-decode-bstart-tgemvmx-bias-canonical-001.asl:1
Source SHA-256: 2032d99fb86895a9021d230bb3d43d4dcaa6477670d4a5d22d6b8e4d325b5b54
PTO-BLOCK-BSTART-TGEMVMX-BIAS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMVMX-BIAS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TGEMVMX-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TGEMVMX/block-decode-bstart-tgemvmx-canonical-001.asl:1
Source SHA-256: 67ac124da672c495a029a773b7fd551843eb8b2681a01451dfc270eb7e7910dd
PTO-BLOCK-BSTART-TGEMVMX · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TGEMVMX · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TLOAD-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TLOAD/block-decode-bstart-tload-canonical-001.asl:1
Source SHA-256: 3fa85862612bb9ffc14b7be6a0db6422fd0b2f2546d69472a1afd85682899396
PTO-BLOCK-BSTART-TLOAD · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TLOAD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMUL-ACC-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMUL.ACC/block-decode-bstart-tmatmul-acc-canonical-001.asl:1
Source SHA-256: caf147a0bffd79a19d143ed6d4382b2b076c387eef49c940d4364ae46f472e46
PTO-BLOCK-BSTART-TMATMUL-ACC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMUL-ACC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMUL-BIAS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMUL.BIAS/block-decode-bstart-tmatmul-bias-canonical-001.asl:1
Source SHA-256: 25b8f97cf2adb6837befab2f5b1cfeb3271cd86a5c6c3f3814c0b82189e7186d
PTO-BLOCK-BSTART-TMATMUL-BIAS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMUL-BIAS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMUL-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMUL/block-decode-bstart-tmatmul-canonical-001.asl:1
Source SHA-256: 9730b5cdb5383867c3e8bd14d43c13abcb08f7b68172f120a7be1c92de4d40e8
PTO-BLOCK-BSTART-TMATMUL · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMUL · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMULMX-ACC-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMULMX.ACC/block-decode-bstart-tmatmulmx-acc-canonical-001.asl:1
Source SHA-256: 9bc399d4811e5ece95c8f7f1e203410dd6ef63ee729e6953f1c72719227bd46c
PTO-BLOCK-BSTART-TMATMULMX-ACC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMULMX-ACC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMULMX-BIAS-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMULMX.BIAS/block-decode-bstart-tmatmulmx-bias-canonical-001.asl:1
Source SHA-256: 255c44788945b4c3ccab66d448f2517313576bbf09c0efa0edf1fb23bfc899d5
PTO-BLOCK-BSTART-TMATMULMX-BIAS · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMULMX-BIAS · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMATMULMX-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMATMULMX/block-decode-bstart-tmatmulmx-canonical-001.asl:1
Source SHA-256: e84a3d8c65bdcb2aa929671fb9841b35c886892a280916fe35e80369a230dca3
PTO-BLOCK-BSTART-TMATMULMX · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMATMULMX · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TMOV-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TMOV/block-decode-bstart-tmov-canonical-001.asl:1
Source SHA-256: 7c50091cb50cb37ab5de1c8f4e9f7b8231f799ca70e2bbd1a0cb21cecb027ca1
PTO-BLOCK-BSTART-TMOV · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TMOV · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TPREFETCH-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TPREFETCH/block-decode-bstart-tprefetch-canonical-001.asl:1
Source SHA-256: 3d05bf3763f39b1c0170f8c571e746fd396aebae13b32ecd517f027f5e452fbe
PTO-BLOCK-BSTART-TPREFETCH · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TPREFETCH · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-TSTORE-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.TSTORE/block-decode-bstart-tstore-canonical-001.asl:1
Source SHA-256: 5639387e4ef77e43998432976c8701818c670d12c38755ecd3f66ecf16780326
PTO-BLOCK-BSTART-TSTORE · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-TSTORE · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-VEC-DECODE-001avs · decode-positive
tests/asl/block/execution/BSTART.VEC/block-decode-bstart-vec-canonical-001.asl:1
Source SHA-256: 4087c1972ea2bfdd73ef43588218e320255807f1192d1a03b4ed0d2e9c151d3b
PTO-BLOCK-BSTART-VEC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-VEC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTART-VEC-ENGINE-001avs · boundary
tests/asl/block/execution/BSTART.VEC/block-bound-bstart-vec-engine-001.asl:1
Source SHA-256: 5bba040e6998aa7093c6795c0d347ddfda885d447a22eb6daf3f4b90cc55ecae
PTO-BLOCK-BSTART-VEC · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTART-VEC · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTOP-CLEAR-001avs · state-transition
tests/asl/block/lifecycle/BSTOP/block-state-bstop-clear-001.asl:1
Source SHA-256: 2ff3cc9801bcba0780ecee3f942ac38bd1949dff50b84a9d1d6c963dea39efb1
PTO-BLOCK-BSTOP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTOP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTOP-DECODE-001avs · decode-positive
tests/asl/block/lifecycle/BSTOP/block-decode-bstop-canonical-001.asl:1
Source SHA-256: 6a1cc47ee00dc326c1916a032617ba853c492f45bdd0e78e67acec2a51b7bdc4
PTO-BLOCK-BSTOP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTOP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-BSTOP-INACTIVE-001avs · fault
tests/asl/block/lifecycle/BSTOP/block-fault-bstop-inactive-001.asl:1
Source SHA-256: 574b57bee1800184b34b32348cff63612ae8a016b86ec9c408837859c44df52e
PTO-BLOCK-BSTOP · asl-covered-by-avs · incomingPTO-INST-BLOCK-BSTOP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-B-DIMI-DECODE-001avs · decode-positive
tests/asl/block/attributes/C.B.DIMI/block-decode-c-b-dimi-canonical-001.asl:1
Source SHA-256: 7e6feff55ba2c331b486030ee107bdef84e0c8faa32113cea68394832ce88ed4
PTO-BLOCK-C-B-DIMI · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-B-DIMI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-B-DIMI-DUP-001avs · fault
tests/asl/block/attributes/C.B.DIMI/block-fault-c-b-dimi-duplicate-001.asl:1
Source SHA-256: 8400046af05b3e96144cbbd21ccf71909ae2bc739c39262a53bf834be8cd1f01
PTO-BLOCK-C-B-DIMI · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-B-DIMI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-B-DIMI-PLACE-001avs · fault
tests/asl/block/attributes/C.B.DIMI/block-fault-c-b-dimi-placement-001.asl:1
Source SHA-256: b4ed8efa7faa7208e89e0b9a2ece1c4d5101cf9f50bedaaa559fa5ff1046498f
PTO-BLOCK-C-B-DIMI · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-B-DIMI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-B-DIMI-RSVD-001avs · fault
tests/asl/block/attributes/C.B.DIMI/block-fault-c-b-dimi-reserved-001.asl:1
Source SHA-256: e55bd8ab2b0e65efd6fd6e1ed7bcf07794bccaf76b35f08b73fc0581b5020738
PTO-BLOCK-C-B-DIMI · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-B-DIMI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-B-DIMI-VALUES-001avs · boundary
tests/asl/block/attributes/C.B.DIMI/block-bound-c-b-dimi-values-001.asl:1
Source SHA-256: 291f5a8fd57f307a091254e85b20bccd0018b54c8734f90f4952c77fc06a13c4
PTO-BLOCK-C-B-DIMI · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-B-DIMI · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-DECODE-001avs · decode-positive
tests/asl/block/encoding/C.BSTART/block-decode-c-bstart-canonical-001.asl:1
Source SHA-256: 9531795e72fad5fd579572d02b4b2f11fd88b1bef758c5d92ed1f17dc9596c1e
PTO-BLOCK-C-BSTART · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-FP-BRTYPE-001avs · execution
tests/asl/block/encoding/C.BSTART.FP/block-exec-c-bstart-fp-brtype-001.asl:1
Source SHA-256: d58747f9403d705705330b6a81aab37f0d297814dfaf8f900d7e51cab25883b2
PTO-BLOCK-C-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-FP-DECODE-001avs · decode-positive
tests/asl/block/encoding/C.BSTART.FP/block-decode-c-bstart-fp-canonical-001.asl:1
Source SHA-256: 3eda714c96848343499a855c2996598ea5e474e6395da72d79ac867455311a7b
PTO-BLOCK-C-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-FP-IND-SOURCE-001avs · fault
tests/asl/block/encoding/C.BSTART.FP/block-fault-c-bstart-fp-ind-source-001.asl:1
Source SHA-256: 60d2eb961393971762c96ea803e3ca054b78b0b3f8863a4252d020a334ede994
PTO-BLOCK-C-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-FP-RSVD-001avs · fault
tests/asl/block/encoding/C.BSTART.FP/block-fault-c-bstart-fp-reserved-001.asl:1
Source SHA-256: 9bdbe703f0a64cb2d50542ee71c3e2caf37ea04afeb680c8fff3c22c3b8ef5aa
PTO-BLOCK-C-BSTART-FP · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-FP · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-STD-BRTYPE-001avs · execution
tests/asl/block/encoding/C.BSTART.STD/block-exec-c-bstart-std-brtype-001.asl:1
Source SHA-256: 7431055929cb0b333e570a3e2000a5cc5442e81983e6a98062cdfe5a4a833c23
PTO-BLOCK-C-BSTART-STD · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-STD · ndf-covered-by-avs · incomingPTO-AVS-BLOCK-C-BSTART-STD-DECODE-001avs · decode-positive
tests/asl/block/encoding/C.BSTART.STD/block-decode-c-bstart-std-canonical-001.asl:1
Source SHA-256: 837e7390fbf097445515255a0a1786cf64ec05a0d1eb186528f62ea96576291e
PTO-BLOCK-C-BSTART-STD · asl-covered-by-avs · incomingPTO-INST-BLOCK-C-BSTART-STD · ndf-covered-by-avs · incoming