PTO-ARCH-FEATURES-TILE-ALLOCATION

1// PTO-UNIT: {"id":"PTO-ARCH-FEATURES-TILE-ALLOCATION","surface":"arch","classification":["features","tile-allocation"],"depends_on":["PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY"]}2// Every PE owns an independent 2048-cell Local pool; one Local object3// is capped at 64 KiB. Multiple Local objects may consume the aggregate pool.4// The Core also owns one5// independent 2048-cell Shared pool.  Local and Shared allocations do not6// compete for one combined capacity budget.7constant PTO_TILE_CELL_BYTES = 128;8constant PTO_TILE_CELL_COUNT = 2048;9constant PTO_TILE_CAPACITY_BYTES = 262144;10constant PTO_TILE_MAX_ALLOCATION_BYTES = 65536;11constant PTO_SHARED_TILE_MAX_ALLOCATION_BYTES = 262144;12constant PTO_MODEL_MAX_TILE_CAPACITY_BYTES = PTO_TILE_CAPACITY_BYTES;13constant PTO_RESERVATION_GRANULE_BYTES = 64;14constant PTO_BUNDLE_DIMENSION_COUNT = 3;15constant PTO_BUNDLE_SCALAR_BINDING_COUNT = 32;16constant PTO_BUNDLE_TILE_BINDING_COUNT = 16;17constant PTO_TILE_BASE_COUNT = 6;18
19// ASL arrays require static bounds. The executable model uses S63 witnesses20// for the 256 KiB Shared boundary, requiring 32,768 element slots. This is a21// model bound, not a claim that every payload uses that many architectural22// elements.23config PTO_MODEL_TILE_ELEMENTS : integer {1..32768} = 32768;24config PTO_MODEL_MEMORY_BYTES : integer {256..65536} = 4096;25