Specialized Apps

Recent innovative ways of applying automated formal

Providing continuous innovation based on customer feedback and targeting new challenging verification problems is not an easy thing to do. However, new types of SoCs, and advances in their design and functionality pose ever new verification tasks. OneSpin is targeting these challenges. 

Expanding on the large set of apps already available, OneSpin has recently productized additional innovative ways of applying formal in an automated way.

Newly Productized Special Apps

The following apps are optionally available as stand-alone tools or as add-ons to OneSpin 360 DV-Verify.