Apps for domain specific high value verification problems
The use of automated apps built on top of formal verification platforms has proven a valuable additional to the verification toolbox. However, the true potential of this approach has yet to be realized as certain areas of application have been left untouched by domain experts.
Relying on the full spectrum of formal technology available through the OneSpin formal platform via LaunchPad, industry leading domain experts are leveraging OneSpin 360 into new applications.
Library of 3rd Party Apps
Checking hardware security mechanisms on SoCs by testing for potential on-chip security issues... »more
Leveraging the OneSpin 360 LaunchPad technology, Tortuga Logic has delivered a powerful security verification mechanism. It combines the exhaustive nature of a formal...
Advanced system register specification validation by comparing register operation with a MS-Word specification and other formats.. »more
Agnisys has developed and marketed a range of tools to synthesize register elements in the hardware and also verify that existing register sets are compliant, thereby validating...
Developed by third party domain experts using the OneSpin 360 LaunchPad platform, these apps target specific high value verification problems in specialized domains. These apps are available as stand-alone tools through the respective developing company and can be referenced through OneSpin.