ARCHITECTURE Signal 124
Intel previews testable specification language for future architecture documentation
↗
Illustration only Photo by EnCata PD on Unsplash
Intel released a preview of a new architecture documentation format that uses a testable specification language, with the SDM remaining official.
This preview signals a shift in how Intel will document its architecture, potentially making specifications more precise and testable. Engineers who depend on the SDM should review the preview and provide feedback, as the SDM remains official but will eventually incorporate this approach. The new language may introduce overspecification risks, so early scrutiny is valuable.
Written by elseif from the cluster below · every claim links back to a sourceThe three things worth knowing
The preview covers nearly all SDM instructions but omits APX, FRED, MPX, SEAM, SGX, SMM, TSX, VMX, and x87.
A new specification language describes instruction behavior and enables testing, aiming for a more precise and accurate specification.
Intel is asking for feedback through a usability survey and GitHub issues before changing the SDM.
THE CLUSTER