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.

High value, differentiated products and highly focused formal apps

OneSpin provides 2 major product lines, OneSpin 360 DV and OneSpin 360 EC. In addition specializations for unique application spaces and 3rd party extensions are available.

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

OneSpin products

DV-Inspect

Automatic

and exhaustive analysis of a code base for classic implementation problems... »more

DV-Inspect

OneSpin 360 DV-Inspect™ takes designers' pain away and automatically and exhaustively analyzes RTL source code prior to functional verification...

DV-Verify

Unified, coverage-driven assertion-based verification including a full verification App library ... »more

DV-Verify

Goes beyond that by providing a unified, coverage-driven assertion-based verification flow, and including a full verification app library, as well as means for easy design exploration...

DV-Certify

Automatic detection of verification gaps, specification omissions and errors… »more

DV-Certify

OneSpin 360 DV-Certify™ automates the analysis of sets of Operational SVA, detecting inconsistencies, errors and gaps in both verification plan and specifications.…

EC-FPGA

Functional correctness of FPGA synthesis from RTL code down to place & route netlists... »more

EC-FPGA

is an automatic sequential equivalence checking tool that provides a fast and efficient method to ensure that aggressive synthesis optimizations have not introduced systematic...

EC-ASIC

ASIC synthesis verification from RTL code down to place & route netlists... »more

EC-ASIC

OneSpin 360 EC-ASIC excels by automated state and phase mapping, automatic handling of sequential optimizations such as clock gating and pipeline retiming, and...

EC-RTL

Sequential equivalence checking between RTL design revisions... »more

EC-RTL

OneSpin 360 EC-RTL is an easy to use Sequential Equivalency Checking tool that to ensures functional equivalence between RTL design revisions...

FMEDA

OneSpin automates the FMEDA steps through a series of safety apps integrated in a comprehensive, interoperable flow that leverages structural analysis, formal proofs, and expert knowledge. »more

FMEDA

OneSpin automates the FMEDA steps through a series of safety apps integrated in a comprehensive, interoperable flow that leverages structural analysis, formal proofs, and expert knowledge. »more

Get in touch!

» Contact