Verification Resources

Sort by

Synopsys Suggests

Casual is the New Formal (series)

The Synopsys Verification Group invites you to learn more about Formal Verification, in our new video blog series: Casual is the New Formal. The videos provide an introduction to Formal ...

Connect Silver CarMaker

Virtual test driving with CarMaker and Silver virtual ECUs.

Connect Silver with ETAS LABCAR

Demonstration for how to bring up a Silver model in ETAS LABCAR.

Connect Silver with NI Veristand

Demonstration for how to bring up a Silver model in National Instruments Veristand.

Create a Workspace in Silver

Demonstration for how to create a new workspace in Silver.

Create TestWeaver Experiment

Demonstration for how to create TestWeaver experiment in Silver

Customer Highlight - ST Microelectronics

ST meets AMS simulation criteria with VCS-MX and CustomSim

DAC 2018 Verification Lunch Panel

Synopsys hosted a luncheon event at DAC in San Francisco, California. At this event, industry leaders ST, AMD, and Samsung shared their viewpoints on what is driving SoC complexity, how their teams...

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 ...

Debugging a USB 3 Linux Driver using Lauterbach TRACE32 and Synopsys ...

This video highlights how Virtualizer enables TRACE32 users to conduct non-intrusive multi-cluster debugging on an Arm® big.LITTLE™ processing system.