industry news
Subscribe Now

Synopsys Introduces Verification Compiler to Enable 3X Productivity

MOUNTAIN VIEW, Calif.March 4, 2014 — Synopsys, Inc. (Nasdaq:SNPS), a global leader providing software, IP and services used to accelerate innovation in chips and electronic systems, today announced the availability of Verification Compiler™ solution, a new product that represents a compelling vision in the industry for system-on-chip (SoC) verification technology and verification roadmaps. Verification Compiler is a complete portfolio of integrated, next-generation verification technologies that include advanced debug, static and formal verification, simulation, verification IP and coverage closure. Together these technologies offer a 5X performance improvement and a substantial increase in debug efficiency, enabling SoC design and verification teams to create a complete functional verification flow with a single product. The combination of next-generation technologies, integrated flows and a unique concurrent verification licensing model enables Verification Compiler to deliver 3X productivity overall – directly addressing the growing SoC time-to-market challenge.

“Verification complexity is continuing to grow at faster than Moore’s law rates,” said Jonah Alben, senior vice president of GPU Engineering at NVIDIA. “To cope with this, the industry needs next-generation verification technologies such as static and formal, along with better integrated flows that reduce the cost of investment in diverse verification approaches. Synopsys’ Verification Compiler offers a vision with the potential to address these needs and take verification productivity to the next level, while continuing to promote open interfaces that enable industry innovation.”

“Verification Compiler offers a new vision for verification,” said Anil Jain, corporate vice president of engineering at Cavium. “We are facing an inflection point in verification, and our belief is that the remedy has to come not only from new technologies and substantial integration, but also from innovative access models that offer all technologies that are needed in a SoC verification flow. With Verification Compiler, Synopsys is delivering a product that finally makes that vision a reality.”

“Altera SoCs are some of the most highly integrated, heterogeneous computing platforms in the industry, combining multi-core ARM processor systems, floating point DSP blocks, high-bandwidth I/O and high-performance programmable logic on a single die,” said Ty Garibay, vice president of IC engineering at Altera Corporation. “As we migrate our SoCs to a third-generation 64-bit architecture integrated on Intel’s 14 nm Tri-Gate process, the design and verification tools we use must operate and communicate seamlessly, giving us the ability to simulate and debug across the RTL, UVM and embedded software domains with a unified compiler and debugging flow. The introduction of Verification Compiler is an important step towards enabling our design teams to significantly improve our productivity.”

Advanced Technology Required for SoC Verification

With mobile and the Internet-of-Things driving electronics growth, advanced SoC development faces exponential growth in verification complexity, new power efficiency requirements, increasing software content and tougher time-to-market pressures. Achieving verification closure for these complex SoCs requires a broad set of technologies including advanced debug, static and formal verification, low-power verification, verification IP and coverage closure.

To address this challenging verification landscape, Verification Compiler features a comprehensive set of next-generation technologies, including formal verification, SoC connectivity checking, SoC-scale clock domain crossing (CDC) checking, X-propagation simulation, native low power simulation, and advanced verification planning and management. Verification Compiler also includes the entire portfolio of Synopsys’ next-generation verification IP, including the corresponding test suites, all integrated for advanced debug and high-performance simulation. By integrating these technologies in a single product, Verification Compiler enables SoC design and verification teams to better solve the growing technical and schedule challenges of SoC verification.

Next-Generation Static and Formal Verification

Verification Compiler addresses the sheer capacity challenges of verifying complex SoCs with a next-generation static and formal verification technology that is 3X to 5X higher in performance and capacity compared to other solutions available today. This new technology includes formal property checking, low power static checking, CDC checks, SoC connectivity checks, advanced lint and sequential equivalence checking. Verification Compiler static and formal capabilities are fully compatible with the Synopsys Design Compiler® and Synopsys IC Compiler™ use model and flows.

Increased Debug Efficiency

Verification Compiler’s debug capabilities are built using technology from Synopsys’ Verdi3, the industry’s de-facto debug platform. Verification Compiler uses all of Verdi3‘s latest debug technology including numerous innovative debug capabilities that offer substantially increased debug efficiency. These new capabilities include Interactive Testbench (UVM-aware) Debug, Transaction Debug, HW/SW Debug, Power-Aware Debug, and Protocol-Aware Debug, all built on a unified, consistent and easy-to-use environment.  Verification Compiler further adds substantial debug efficiency through the tight integration of these advanced debug capabilities with simulation, VIP, formal verification, and coverage.

The Synopsys Verdi3 debug platform continues to be available as a standalone product. Verdi3 is an open platform enabling integration with other verification flows through the Fast Signal Data Base (FSDB) database as well as through Verdi Interoperability Apps (VIA).  Accordingly, Verdi3 will continue to fully support major simulation, emulation, and formal verification products in the market.

Concurrent Verification

Today’s SoC verification flows require simultaneous use of various verification technologies by multiple teams across geographies. Furthermore, different points of the flow require different concentrations of technologies. These types of access bottlenecks greatly impact verification efficiency, cost and time-to-market. To address these bottlenecks, each Verification Compiler license includes three independent, concurrent keys: one key for all static and formal technologies; one key for simulation-related technologies (including all VIP); and one key for all debug technologies. These three keys can be used concurrently by a single user to enhance individual productivity, or they can be used independently by different individuals in the same company. This flexibility enables design teams to simultaneously perform multiple verification functions, achieving dramatic verification productivity improvements.

“We have been collaborating closely with many of our customers on their most complex verification challenges for many years,” said Manoj Gandhi, senior vice president and general manager, Verification Group at Synopsys. “Over the past few years, we’ve built a strong portfolio of leading-edge verification software technologies. Verification Compiler takes these technologies to the next level by integrating them into a single product with unmatched performance, capabilities, and productivity, and lays the groundwork for even more advances in the future.”


Verification Compiler is available now under limited customer availability, with general availability planned for December 2014.

About Synopsys

Synopsys, Inc. (Nasdaq:SNPS) accelerates innovation in the global electronics market. As a leader in electronic design automation (EDA) and semiconductor IP, its software, IP and services help engineers address their design, verification, system and manufacturing challenges. Since 1986, engineers around the world have been using Synopsys technology to design and create billions of chips and systems. Learn more at


Leave a Reply

featured blogs
May 13, 2021
Next Tuesday afternoon, May 18, at 2:00pm PDT is the annual CEO Outlook meeting. It will be virtual, of course. But as a result, it seems to have a lot more CEOs than can easily fit onto a small... [[ Click on the title to access the full blog on the Cadence Community site. ...
May 12, 2021
We discuss low power design with Dr. Renu Mehra, R&D group director in our Digital Design Group, along with her career in STEM & the future of RTL synthesis. The post Q&A with Dr. Renu Mehra of Synopsys Digital Design Group: Pioneering Automated Power Manageme...
May 11, 2021
Human vision in indispensable and often taken for granted. Similarly machine, or embedded, vision influences daily human life in ways thought impossible. Simply, machine vision refers to the ability of embedded systems to “see”. Key system components include camer...
May 4, 2021
What a difference a year can make! Oh, we're not referring to that virus that… The post Realize Live + U2U: Side by Side appeared first on Design with Calibre....

featured video

Introduction to EMI

Sponsored by Texas Instruments

Conducted versus radiated EMI. CISPR-25 and CISPR-32 standards. High-frequency or low-frequency emissions. Designing a system to reduce EMI can be overwhelming, but it doesn’t have to be. Watch this video to get an overview of EMI causes, standards, and mitigation techniques.

Click here for more information

featured paper

Keys to quick success using high-speed data converters

Sponsored by Texas Instruments

Hardware designers using modern high-speed data converters face tough challenges. Issues might include connecting with your field-programmable gate array (FPGAs), being confident that your first design pass will work, or determining how to best model the system before building it. In this article, Texas Instruments takes a closer look at each of these challenges.

Click to read more

featured chalk talk

Yield Explorer and SiliconDash

Sponsored by Synopsys

One a design goes to tape-out, the real challenges begin. Teams find themselves drowning in data from design-process-test during production ramp-up, and have to cope with data from numerous sources in different formats in the manufacturing test supply chain. In this episode of Chalk Talk, Amelia Dalton chats with Mark Laird of Synopsys in part three of our series on the Silicon LifeCycle Management (SLM) platform, discussing how Yield Explorer and SiliconDash give valuable insight to engineering and manufacturing teams.

More information about the Synopsys Silicon Lifecycle Management Platform