Company: SNPS
Filing Date: 2025-12-22
Form Type: 10-K
Source: 0000883241-25-000028
Chunk: 18

Company: SYNOPSYS INC
Filing Date: 2025-12-22
Form: 10-K
Item: Item 1
Chunk 18
---
 functions, the 

5

platform helps our customers accelerate chip verification, bring up software earlier, and get to market sooner with advanced SoCs.

The individual products and solutions included in the Verification Family include the following:

•VC SpyGlassTM family of static verification technologies including lint, CDC (clock domain crossing), RDC (reset domain crossing), Constraint Checking, Synopsys TestMAX Advisor, and low-power analysis and verification;

•VCS® functional verification solution, our comprehensive RTL and gate-level simulation technology, including Fine-Grained Parallelism;

•Verdi®, our next generation platform that provides AI-based SoC debug solution with an integrated development environment and advanced verification management capabilities system;

•VC FormalTM, which leverages ML-based techniques to verify complex SoC designs, find deep corner-case design bugs, and enables formal signoff for control and datapath blocks;

•ZeBu® emulation systems, which use high-performance hardware to emulate SoC designs so that designers can accelerate hardware, software and power verification of large complex SoCs and perform earlier verification and optimization of the SoC together with software;

•HAPS® FPGA-based prototyping systems, which are integrated and scalable hardware-software solutions for early software development, hardware verification and system validation of IP blocks to processor subsystems to complete SoCs, including the use of at-speed interfaces, for better performance, higher quality and faster time to market;

•VirtualizerTM virtual prototyping solution, which addresses the increasing development challenges associated with software-rich semiconductor and electronic products by accelerating both the development and deployment of virtual prototypes;

•Platform ArchitectTM solution, which provides for early analysis and optimization of multi-core SoC architectures for performance and power; and

•Other principal individual verification solutions, including the PrimeSim solution and the PrimeWave design environment.

Manufacturing 

Our manufacturing solutions include Synopsys technology computer-aided design (TCAD), mask synthesis and manufacturing analytics. Synopsys TCAD enables computer-aided simulations to develop and optimize semiconductor process technologies. We also offer ProteusTM mask synthesis tools, CATS® mask data preparation software, Yield Explorer Odyssey, Yield-Manager® yield management solutions and QuantumATK® atomic-scale modeling software. Synopsys enables its customers to realize the benefits of smart manufacturing by using advanced techniques in AI/ML and large data sets. These smart manufacturing solutions are built upon Synopsys’ extensive expertise in IC design, mask synthesis, process modeling, on-chip test and monitoring techniques and cloud-based data analytics.

We also provide