Designed with the help of leading verification engineers from various companies, our apps are extremely easy to use and set up, provide familiar user interfaces that fit existing use models, and use standard languages for the creation of assertions and applying control. The apps range from easy to use, automated capabilities for designers to deep coverage driven verification for regression environments.
Library of automated functions targeting recurring verification tasks
In the past, formal verification was considered difficult to deploy and use. Writing properties, executing the tools, and interpreting the results required specialized knowledge. This has had the unfortunate effect of masking the power of this highly effective verification approach. However, a new generation of formal tools has emerged that eliminate these problems, formal apps.
OneSpin provides a complete set of formal apps as part of OneSpin 360 DV. On top of that, additional innovative capabilities are available, targeting for example safety critical design, or hardware security as special apps and from third party providers.
Checkout the App Libraries of OneSpin 360
Push button apps for formal code analysis... »more
OneSpin 360 DV-Inspect Apps simplify the setup and learning to a minimum. Targeting three of the most time consuming bug finding scenarios, DV-Inspect apps are easy to use...
Comprehensive set of standard and advanced formal apps... »more
With OneSpin 360 DV Verify Apps, verification engineers and designers have access to one of the most comprehensive, yet easy to use and adaptable sets of apps...
Recent innovative ways of applying automated formal... »more
Expanding on the large set of apps already available, OneSpin has recently productized additional innovative ways of applying formal in an automated way...
OneSpin Formal Apps
The concept of apps is not entirely new, however the need for a high degree of automation, and the capability to easily target new applications require a different approach. OneSpin’s formal apps are built on top of OneSpin’s next generation formal platform, allowing this effective technology to be easily customized and targeted to solve difficult problems at the push of a button.
Token based licensing allows the local remixing of DV-Inspect and DV-Verify apps to improve the user experience throughout the hardware development process, without additional cost. In addition, specialized capabilities for fault propagation analysis, SystemC/C++ arithmetic analysis, as well as third party tools for hardware security analysis, and specification verification are available.
Learn more about how formal apps are applied:
- 16 Formal Apps that make Formal easy for us non-Formal engineers, “It's prepackaged Formal for the non-Formal user. This approach both saves engineering man-hours plus it ups the quality of the assertions used to verify your chip.” Jim Hogan