Verification Resources

Sort by

Synopsys Suggests

Signoff-Compatible CDC

Tanveer Singh, senior staff consulting applications engineer at Synopsys, explains why netlist clock domain crossing is replacing RTL CDC at advanced nodes and in AI chips.

Comparing PCIe Solutions for Emulation and Simulation

Vivek Mittal, R&D Engineer at Synopsys, gives a presentation at PCI-SIG Developers Conference 2019 in Santa Clara. Mittal discusses the importance of emulation, PCIe emulation solutions and parts, ...

Debug Changes At Advanced Nodes

Ribhu Mittal, emulation applications director at Synopsys, zeroes in on what’s changing in debug, including why traditional verification methods are failing in designs with 1 billion gates and a ...

SNUG 2019 Verification Lunch Panel

Synopsys hosted a luncheon event at the annual SNUG that highlighted new verification solutions for ZeBu Server 4, HAPS-80 Desktop Prototyping and VC Formal Regression Mode Accelerator App.

Designing an AI SoC

Susheel Tadikonda, VP of networking and storage at Synopsys, looks at how to achieve economies of scale in AI chips and where the common elements are across all the different architectures.

DVCon US 2019 Verification Lunch Panel

Feb 28, 2019 - Industry experts from Arm and NXP share their viewpoints on what is driving SoC complexity, how their teams have achieved success, how you can apply their insights on your next ...

Designing Networking Chips

Susheel Tadikonda, VP of networking and storage at Synopsys, talks about what’s changed in the way networking chips are being designed to deal with a massive increase in data.

HSPICE SIG 2019

Jan 30, 2019 - This event is for all HSPICE and FineSim SPICE users and design engineers who want to stay connected with the latest developments in the field of circuit simulation. The evening ...

Formal Signoff

What’s good enough coverage? What makes one assertion better than another? Find out in this video as well as where the potential holes are in verification.

Formal Datapath Verification

Drill down into how to achieve confidence in datapath designs by applying formal solvers and methods to data transformation areas of a design rather than the control path areas.