Intel and Synopsys are solving a problem that normally doesn’t surface until after tapeout.