Verification Resources

Sort by

Synopsys Suggests

Accelerate SSD Software Development And System Validation

Feb 28, 2019 - Start development early on the complex firmware required by next generation SSDs.

Accurate Power Analysis Using Real Software Workloads

Jul 16, 2019 - Most chip designs now employ low-power design techniques, making accurate estimates of power consumption necessary.

AI And ML Applications Require Advanced Datapath Verification

Jan 28, 2021 - Today’s AI/ML/DL designs are math-intensive and packed with powerful arithmetic engines. Find out how Formal Verification provides a powerful method for verifying these complex AI ...

Artificial Intelligence: Let Us Get The Math Right First!

Jun 06, 2019 - Data path verification with formal for artificial intelligence (AI) designs.

Debug Issues Grow At New Nodes

Jul 26, 2018 - Finding the root cause of problems becoming more difficult as systemic complexity rises; methodology and different approaches play an increasingly important role.

Don’t Have A Meltdown Over A Spectre In Your SoC

Mar 07, 2019 - Verifying that there are no bugs in the hardware that cause secure data leaks will help you avoid a meltdown.

Efficient Hierarchical Verification For Low Power Designs

Jan 17, 2019 - This article discusses how tools using new hierarchical verification technologies, such as Synopsys Low Power Verification, enable a “shift-left” in the overall verification TAT and ...

Efficient Low Power Verification & Debug Methodology Using Power-Aware ...

Dec 13, 2018 - This article discusses using the capabilities of a power aware simulator coupled with an intuitive and powerful debug to ensure that subtle bugs do not escape silicon.

Ensuring Functional Safety For Self-Driving Cars

Dec 05, 2019 - Automotive electronics represent a significant opportunity for semiconductor companies, but careful attention to ISO 26262 and current safety practices is essential.

Exascale Emulation Debug Challenges

Apr 11, 2019 - Learn how to address the 3 primary verification challenges of complex SoCs: reducing the effort to find the time window around the root cause of a test failure, reproducing the root ...