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.

Our flyers provide a high-level overview around our solutions

OneSpin® 360 Design Verification Solutions

The OneSpin 360 Design Verification (DV) product line leverages the most advanced, high-performance formal technology as the basis for a range of verification solutions, from automated design analysis to advanced property checking. Solutions and apps have intuitive, flexible user interfaces and debug capabilities. They are easy to integrate into existing hardware development flows.

Sign up to access the OneSpin 360 Design Verification Solutions flyer

OneSpin® 360 EC-FPGA™

The OneSpin 360 EC-FPGA solution ensures that advanced FPGA synthesis optimizations, used to achieve competitive functionality, performance, power consumption, and cost targets, do not introduce functional errors. It supports all sequential synthesis optimizations performed in FPGA design flows. OneSpin 360 EC-FPGA is in use at multiple companies as an accuracy gold standard to test their design solutions.

Sign up to access the OneSpin 360 EC-FPGA flyer

OneSpin® 360 ISO 26262 FMEDA Solution

OneSpin’s FMEDA automation solution provides a streamlined, predictable path to ISO 26262 compliance. A unique set of apps, leveraging structural analysis, next generation formal engines, and expert functional safety knowledge, enable engineers to break the FMEDA into a series of well-defined, integrated steps forming a complete solution. OneSpin’s safety apps can process the largest automotive chips and support both RTL and gate-level netlist designs.

Sign up to access the OneSpin 360 FMEDA flyer

OneSpin® 360 Trust and Security Solution

The OneSpin 360 Trust and Security Solution complements OneSpin’s long-established Functional Correctness and Safety solutions for assuring IC integrity. The solution leverages intelligent design structural analysis, domainspecific data and expertise, and advanced, dedicated formal engines. These are essential to prove the absence of vulnerable logic in complex SoCs, something not achievable with simulation or emulation approaches.

Sign up to access the OneSpin 360 Trust & Security Flyer

OneSpin® 360 SystemC/C++ Solution

Simulation-style verification of SystemC high-level synthesis (HLS) code is largely performed by compiling and debugging the design representation linked with a SystemC class library, in a similar fashion to a software test. Due to the limited availability of SystemC verification tools, much of the verification task is performed on the resulting synthesized RTL code, introducing a level of indirection that makes correcting issues complex and time consuming.

Sign up to access the OneSpin 360 SystemC/C++ Solution flyer

Get inside OneSpin and download our technical materials