lumiculelight does the math

Proof

Specified from data, not from a picture

vc-gatesNEXT ACTIONINCandidatefrom an agent01Formalvacuity-gated02DRCtwo engines03LVSvs the schematic04PhysicalSPICE · EM · thermalCLEARproved · no gap leftNEEDS GUARDSa known gap, statedBASELINE FAILEDthe check itself failedLEGENDpassesfailed, with the next action
The gates that check a design also check the parts in it — with the same three outcomes and the same record.
measured
S-parameters per component, in the catalogue
2
DRC engines cross-checking designs that use it
0
Parts specified from a picture