Operational Envelope & Disclosures
What this stack has not shown, stated before you ask.
- All results are simulation; nothing has been validated on silicon.
- Our printing certificates assume the thin-mask model, a standard simplification that treats the mask as having no thickness. On one test pattern, the error from that simplification was 1.9x the budget the certificates defend, so they make no claim about a full simulation of light passing through a real mask.
- The packaging theorems that cover every layout in a family hold inside a simplified model of the vias, fixed before the proof; against our own full boundary-element solver, the add-up-the-pairs over-prediction is about 9.8%, measured rather than proved.
- Hardware-trust proofs cover the modeled timing channel, not measured power or electromagnetic emissions; gate count and gate types stay public.
- Third-party tools named here (FastCap and Palace) are used or cited only: ChipletOS has no commercial, partnership, supply, evaluation or endorsement relationship with their makers.
- ChipletOS is not deployed as a running service, and no third-party continuous-integration system has re-run any result on this page; every check named here ran on our own machines.
Each number links to the file it comes from; every file is listed, with its checksum, on Published files.
When a number is left off
We leave a number off a page, or mark it, when
- its file has not loaded yet
- nobody has looked into it yet
- a search for it found nothing
- its file holds no value for it
- its file is missing or altered
- files disagree on what it describes
- its sample is too small for the claim
- two files give different values
- its file cannot be published
- it was measured over ninety days ago
- the question does not apply here
- the program behind it stopped with an error