This market will resolve to "Yes" if Synopsys' Design Automation revenue for the fourth fiscal quarter of 2026, as reported in its official company earnings materials, is above the listed amount. Otherwise, this market will resolve to "No". The specified metric will be considered as reported in the company's official earnings materials. Subsequent revisions will not be considered. If the specified company's official earnings materials for the specified quarter are released, and the specified metric is not included, this market will resolve to "No". If the specified company does not release quarterly earnings materials for the specified quarter by January 31, 2027, 11:59 PM ET, this market will resolve to "No". If the specified metric is reported as a range rather than a specific number, the midpoint of the range will be used for resolution of this market. The resolution source for this market is Synopsys' official company earnings materials, including press releases, investor presentations, and regulatory filings. If the specified metric is not reported in these materials, recordings or transcripts of the company's earnings webcast may also be used. Note: This market will resolve based on the most numerically precise version of the specified metric reported in the company's official earnings materials. Only the specified metric will be considered; alternate versions that differ in definition or scope from the specified metric will not be considered.