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 360 DV and OneSpin 360 EC
Automatic and exhaustive analysis of a code base for classic implementation problems... »more
OneSpin 360 DV-Inspect™ takes designer’s pain away and automatically and exhaustively analysis RTL source code prior to functional verification...
Unified, coverage-driven assertion-based verification including a full verification App library ... »more
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...
Functional correctness of FPGA synthesis from RTL code down to place & route netlists... »more
is an automatic sequential equivalence checking tool that provides a fast and efficient method to ensure that aggressive synthesis optimizations have not introduced systematic...
ASIC synthesis verification from RTL code down to place & route netlists... »more
OneSpin 360 EC-ASIC excels by automated state and phase mapping, automatic handling of sequential optimizations such as clock gating and pipeline retiming, and...