PTO-ARCH-DATA-TYPES-INTEGERThe complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-INTEGER","surface":"arch","classification":["data-types","integer"],"depends_on":["PTO-ARCH-FEATURES-TILE-ALLOCATION"]}// Requirement references: PTO-REQ-STATE-001, PTO-REQ-TILE-001,// PTO-REQ-FAULT-001, PTO-REQ-MEMORY-TSO-001.
type Word of bits(PTO_XLEN);type DoubleWord of bits(PTO_XLEN * 2);type HalfWord of bits(32);type Byte of bits(8);type PredicateWord of bits(PTO_PREDICATE_WIDTH);type GPRIndex of integer {0..PTO_ABSOLUTE_GPR_COUNT-1};type PERegisterFile of array [[PTO_ABSOLUTE_GPR_COUNT]] of Word;type CorePEWords of array [[PTO_MODEL_MEMORY_AGENTS]] of Word;type Reg5Selector of integer {0..31};type TileIndex of integer {0..PTO_TILE_REGISTER_COUNT-1};type SharedTileID of bits(6);type SharedTileIndex of integer {0..PTO_SHARED_TILE_COUNT-1};type TemporaryQueueIndex of integer {0..PTO_TEMPORARY_QUEUE_DEPTH-1};type PredicateIndex of integer {0..PTO_PREDICATE_REGISTER_COUNT-1};type BundleDimensionIndex of integer {0..PTO_BUNDLE_DIMENSION_COUNT-1};type BundleScalarBindingIndex of integer {0..PTO_BUNDLE_SCALAR_BINDING_COUNT-1};type BundleTileBindingIndex of integer {0..PTO_BUNDLE_TILE_BINDING_COUNT-1};type BundleSharedBindingIndex of integer {0..3};type TileBaseIndex of integer {0..PTO_TILE_BASE_COUNT-1};type ModelTileElementIndex of integer {0..PTO_MODEL_TILE_ELEMENTS-1};type PackedTileElementIndex of integer {0..524287};type PackedTileCarrierIndex of integer {0..PTO_MODEL_TILE_ELEMENTS-1};type PackedTileLaneIndex of integer {0..15};type ModelAddress of integer {0..PTO_MODEL_MEMORY_BYTES-1};type SystemRegisterAddress of bits(24);type SystemRegisterFileIndex of integer {0..65535};type TrapNumber of bits(6);type InterruptID of integer {0..63};
This unit names the fixed-width carriers and bounded index domains shared by scalar, block, tile, memory, system-register, and trap owners.
Central type ownership lets ASL signatures expose which architectural domain an integer belongs to instead of passing unconstrained integers everywhere.
Word, DoubleWord, HalfWord, and Byte are PTO_XLEN, PTO_XLEN * 2, 32, and 8 bits respectively; PredicateWord uses PTO_PREDICATE_WIDTH.GPRIndex, TileIndex, PredicateIndex, and the bundle binding index types.ModelAddress, 24-bit SystemRegisterAddress, and 16-bit-file SystemRegisterFileIndex; traps use six-bit TrapNumber and 0..63 InterruptID.Array types such as PERegisterFile and CorePEWords derive their extents from model constants rather than introducing new architectural counts.
SharedTileID is a six-bit carrier, while SharedTileIndex is a bounded integer index; callers must not treat those distinct roles as interchangeable.
Packed tile indices have explicit model bounds: element 0..524287, carrier 0..PTO_MODEL_TILE_ELEMENTS-1, and lane 0..15.
Bounds containing PTO_MODEL_* are verification-model bounds. They are not claims that every implementation has the same physical capacity.
This unit defines types only; state allocation, access checks, faults, and instruction effects remain in the owners that consume them.
A function accepting TileIndex can only receive an index in 0..PTO_TILE_REGISTER_COUNT-1; a six-bit SharedTileID still requires an explicit mapping before it can serve as a SharedTileIndex.
Read a model-bound array extent as a type-checking contract for this ASL model, then follow the consuming state owner for architecture-visible capacity rules.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
No NDF clause is attached to this unit.
8 matching entries
PTO-AVS-ARCH-DATA-TYPES-INTEGER-STATIC-001tests/asl/arch/data-types/integer/arch-static-integer-contract-001.asle1f308efd1e2f8cc8c7ef4b8cf8ed241041da15e44aa225ffac0f9ff6946d77bPTO-EVIDENCE-RELEASE-TRACEABILITYPTO-EVIDENCE-RELEASE-TRACEABILITYspec/evidence/release-traceability-readiness.jsonc7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3ePTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREspec/evidence/instruction-contract-closure.json3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aPTO-EVIDENCE-ARCHITECTURE-READINESSPTO-EVIDENCE-ARCHITECTURE-READINESSspec/evidence/architecture-readiness.json4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004PTO-EVIDENCE-RELEASE-GATE-READINESSPTO-EVIDENCE-RELEASE-GATE-READINESSspec/evidence/release-gate-readiness.jsona0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0PTO-EVIDENCE-RELEASE-MANIFESTPTO-EVIDENCE-RELEASE-MANIFESTspec/release-manifest.json1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Loading ADR-0096…
ADR-0096docs/status/decisions/0096-b-iot-b-ios-sizecode-pemode.mdc4b4fb7bc17878f710015207dc19ddaf22a0cf6989d185b16844714c71e23f62Loading ADR-0097…
ADR-0097docs/status/decisions/0097-local-shared-capacity-and-cooperative-m-sharding.md7de93019f9272a73d5f42e42bec242725edadbcf41ed34a3155d40fb37f0cd14{
"classification": [
"data-types",
"integer"
],
"documentation": "docs/arch/data-types/integer.md",
"id": "PTO-ARCH-DATA-TYPES-INTEGER",
"mnemonic": null,
"readiness_subjects": [
"ADR-0096",
"ADR-0097"
],
"semantic_tests": [],
"source": "asl/arch/data-types/integer.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DATA-TYPES-INTEGER-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681290d7132478de54d665d973587b61c3ecfd5e57645e5985aef5918b4b722e816d37338cb3ceb4b0da61e8555e62ba55351306221144111c0e99bd7f93f57ba04easl/arch/data-types/integer.asl