Skip to content

ChipletOS · Chip printing · for a technical reader

Signing off some tiles near a chip-mask edit, in simulation: the lab’s exact wording

The lab’s own sentences and figures for this result, word for word, in its working terms, with its limits in plain words where the lab’s text cannot be reprinted. The plain account is on the result’s page; it says the same things in plain words.

The lab’s plain-English sentence

When a single, isolated small edit is made to a chip-printing stencil (mask) design, the lab's method proves in its own simulator that neighbouring design tiles affected by the edit are still valid without recomputing them

  • by checking that a proven limit on the edit's effect fits inside the safety margin each tile already had
  • on the lab's own test edits it saved recomputing only about 1% of tiles

Point-by-point checks against a full recomputation, in the lab’s words

with 0 violations over 9,175,040 pointwise comparisons

The limit to read first, in the lab’s words

over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm

Over a chain of edits, declared honestly

On the same chain the honest declaration served 0 of 64 below from-scratch

Claim

A tile whose inputs did move is proved still valid when a certified bound on the edit's influence fits inside the margin its stored certificate was already carrying, with 0 violations over 9,175,040 pointwise comparisons.

Over the same chain, with a deliberately mis-declared setting

with update(declared_halo=0), a falsification knob whose every result is stamped NOT a certificate, over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm

Part of the lab’s record (limits) is not reprinted here because it names internal files this site does not publish or uses internal working terms.

All resultsFormal statements

How we show numbers

Every number on this site links to the file it comes from. How each result is checked

  • We never show a number before its file has loaded.
  • A question we have not checked yet is marked as unchecked.
  • A check that found nothing says so.
  • A file with no value for a question says so.
  • A number whose file is missing or has changed is not shown.
  • Two files that disagree about what a number describes are both flagged.
  • A number from too few samples shows its sample size.
  • Two files that give different values are both shown.
  • A file we cannot publish is listed by its fingerprint only.
  • A measurement more than a week old shows its age.
  • A question that does not apply to a page is left off it.
  • A measurement whose program failed is shown as failed.