“The requirements for safety and security are driving a 10X increase in verification complexity for our leading-edge SoCs,” said Chris Collins, senior vice president, product & technology enablement at NXP. “Synopsys is uniquely positioned to address this explosion in verification complexity, with its breadth of leading verification technologies and integrations, to enable our teams with the performance and productivity required to tackle verification intricacies for our next-generation SoCs.”
With the exponential growth of the verification complexity in advanced SoCs, achieving verification closure requires a broad set of technologies including advanced simulation, advanced debug, static and formal verification, verification IP and coverage closure. To address this substantial complexity, Synopsys continues to have the largest R&D investment in verification spanning the entire verification flow. This includes the industry-leading VCS simulation, Verdi Advanced Debug, and SpyGlass RTL Signoff solutions, as well as next-generation solutions in formal verification with VC Formal, verification IP with VC VIP, low-power verification, and functional safety verification.
The native integration of these verification solutions further enable SoC teams to achieve faster performance and higher productivity leading to accelerated coverage closure.
“Collaboration with industry leaders in SoC design has been key to our continued leadership and innovation in verification,” said Manoj Gandhi, executive vice president and general manager for the Synopsys Verification Group. “Over the past few years, we’ve built a strong portfolio of leading-edge verification software technologies. As the primary verification solution for NXP, we are taking our collaboration to the next-level to further address their growing SoC verification complexity.”