Formal apps from from domain experts
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. Much like the manner in which apps created by a community of developers has transformed the smart phone into an extraordinarily versatile tool, the same may be achieved with a formal platform placed in the right hands.
OneSpin has packaged its highly versatile formal platform in a form that may be easily integrated into apps developed by third party domain experts.
Leveraging the OneSpin Formal Platform
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. In order enables a range of business models, LaunchPad may be licensed to only work with a specific app. This allows to target the appropriate market to for that app. In addition, all apps operate with existing OneSpin 360 products and maybe be available as add-on via OneSpin.
Usage Examples
As an example, Tortuga Logic, a security verification company, is using LaunchPad to provide a complete formal solution to exhaustively verify devices against malicious attacks. As another example, Agnisys is leveraging the technology to compare written register specs against actual hardware to verify complex register maps rapidly and reliably. Other usage scenarios include formal apps for integration verification by IP providers.
We believe LaunchPad has the potential to proliferate to applications well beyond hardware verification, extending formal based tooling to areas previously inaccessible to the technology.
For More Information: