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.

Processor Verification App

Automated exhaustive verification and compliance proof for RISC-V processor designs...

»more

Processor Verification App

OneSpin 360 Processor Verification App is the industry’s first commercial

solution to address the needs of both core providers and core

integrators...

Connectivity XL App

Connectivity specification and verification for large chips with 1M+ connections...

»more

Connectivity XL App

OneSpin’s Connectivity XL App is the industry’s first and only solution

for the efficient specification and formal verification of huge numbers of deep

connections in multi-billion-gate chips... 

Floating-Point Unit App

Automated formal verification of floating-point hardware compliant with the IEEE 754 standard... »more

Floating-Point Unit App

OneSpin's FPU App verifies that the result of operations, as computer by the hardware floating-point unit, accurately matches the IEEE 754 standard specification...

Arithmetic Analysis for C++/SystemC

Automated analysis of number representations for accuracy and throughput, commonly used in... »more

Arithmetic Analysis for C++/SystemC

OneSpin's Arithmetic Analysis App exhaustively examines algorithmic implementations for loss of precision, as well as redundant bits, considering...

Fault Propagation Analysis

Increasing diagnostic coverage for functional safety by fault propagation analysis and qualification to prune hard to validate... »more

Fault Propagation Analysis

OneSpin’s Fault Propagation Analysis App automatically identifies non-propagatable faults, allowing their safe elimination prior to simulation...

Fault Injection App

Random hardware faults can compromise the operation of electronic systems, ultimately causing harm to people... »more

Fault Injection App

OneSpin’s Fault Injection App automates the definition and injection of fault scenarios, eliminating the need of a separate testbench...

Get in touch!

» Contact