Verification Resources

Sort by

Synopsys Suggests

Saber for Design Entry

Saber Sketch provides the efficiency of a rich symbol library and lookup utility with advanced schematic design.

Saber Functional Safety

Verification of Technical Safety and Reliability Performance

Saber MAST

The MAST Hardware Description Language (HDL) from Synopsys is the defacto industry standard.

Simulation of Complete Solar PV Systems

Simulation of Complete Solar PV Systems

SaberES Designer

SaberES Designer™ enables design teams to address these challenges by providing an integrated process for electrical system design from concept to manufacturing. SaberES Designer minimizes data ...

Virtual Prototyping Use Cases

Virtual Prototyping Use Cases


Virtualizer Development Kits (VDKs) are software development kits containing design-specific virtual prototypes as well as debug and analysis tools and sample software. A virtual development kit ...

VDK for ARC HS38 Processor

The VDK for DesignWare® ARC® HS Processors is a software development kit that uses a virtual prototype of an ARC HS38 processor-based system.


The VDK for NXP MPC5xxx MCU, built on Power Architecture® technology, is a software development kit using virtual prototypes of NXP MPC5xxx based microcontrollers.


he VDK for NXP S32V200 is a software development kit using a virtual prototype of the NXP S32V234 microcontroller (MCU) as an embedded target. It focuses on the development of advanced driver ...