close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Innovative ways of applying automated formal verification

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 produced additional innovative ways of applying formal in an automated way.

Specialized Apps

The following apps are available as add-ons to OneSpin 360 DV-Verify.

Get in touch!

» Contact