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.

Products Overview

High value, differentiated products and highly focused formal apps

OneSpin provides products in two major categories: design verification (OneSpin 360 DV) and equivalence checking (OneSpin 360 EC).

Multiple platform choices provide complete solutions for project verification needs. Within DV, these platforms include a wide range of applications (apps) that address specific, specialized verification challenges. Apps are designed for use by engineers who are not formal experts. In many cases, all assertions are automatically generated so SystemVerilog Assertions (SVA) expertise is also not required. In addition, applications are available for advanced verification topics such as functional safety and CPU design.

Some of the platforms also include formal verification IP (VIP) in which rules for standard interfaces are captured as assertions.

All OneSpin products are based on a common formal base platform providing functionality for design entry, proof engines, debugging, cloud support, and programming interfaces.

Check out our Product Library 



Advanced Apps

Qualification Kits


Our Multiple Platform Choices