LinxISA v0.57.0¶
LinxISA v0.57.0 is the sole active LinxISA release. It integrates the complete established architecture contract and promotes the reviewed scalar, tile, PTO, toolchain, emulator, Linux, software-model, workload, and documentation updates as one coherent baseline.
Contract changes¶
- TMA
Function=3is assigned toBSTART.TPREFETCH. TPREFETCHhas the same address-generation, memory-fault, ordering, and restartability contract asTLOAD, but has no destination binding, allocation, queue push, writeback, or destination dependency.- TMA functions
4..8are assigned toMGATHER,MSCATTER,MGATHER.MASK,MSCATTER.MASK, andMGATHER.CAS. B.IOTadds canonical one- and two-input source-only forms for repeated PTO descriptors. They encodeDstTile=111,imm4=0, allocate no Tile, and produce no Tile writeback.- Generic mixed TMA textual forms remain illegal in canonical v0.57 sources.
- The frozen PTO manifest classifies all 111 workbook rows: 97 TEPL, 6 TMA, and 8 CUBE dispositions. Review-only names and typos are rejected.
- Named CUBE aliases are added for the documented matrix and matrix-vector
functions. The inherited generic
BSTART.CUBEform remains legal for unnamed functions and excludes named functions to keep decode unique. - 32-bit
CASB/CASH/CASW/CASDandDMAencodings are added. DMA uses the fixed 64-byte source-to-destination copy semantics.
Integrated architecture¶
The v0.57 tree contains the full canonical ISA rather than requiring a second live baseline profile. Its architecture pages incorporate the block execution, SIMT compiler, workload-engine, rendering, hardening, privilege, memory, and call/return contracts. Retired compatibility spellings and legacy examples are not shipped as active release surfaces.
Release status¶
v0.57 is stable when generated ISA artifacts, compiler, emulator, Linux, included software models, workloads, and documentation agree on the same machine-readable catalog and manifests. The release gate includes strict ISA validation, encoding overlap checks, AVS, TSVC, full-system smoke, included model tests, and documentation builds.
LinxCore and pyCircuit integration are explicitly deferred from the v0.57 superproject closure. Their existing superproject pins remain unchanged, and their RTL, testbench, trace, and pyCircuit gates are not release criteria for this closure.