OneSpin Solutions takes formal verification to the App store
Designed as an adaptive formal technology platform, 360 LaunchPad allows third-party companies with limited knowledge of formal verification technology to develop and deliver formal-based apps.
"Typically, before LaunchPad, customers had to ask their EDA provider for formal verification solutions dedicated to their field, and either they had to wait and hope for a solution, or they had to build up a team of formal verification experts to painstakingly craft their own solution", told us OneSpin Solutions’ Vice President of Marketing Dave Kelf.
According to Kelf, for many EDA vendors, supporting every new market need with appropriate formal verification tools is proving difficult and not economically viable, hence the idea to let experts in their own domain craft dedicated verification apps on the basis of a proven platform.
"The idea came about when discussing the needs of one of our customers working in the security space", commented Kelf, referring to Tortuga Logic.
One way to answer their needs could have been to hire encryption and security experts to include a dedicated verification flow in OneSpin’s full verification tool, but then that customer may not have been interested in buying the full tool only for using part of it.
360 LaunchPad owes its adaptive behaviour to its proprietary proof engines and a verification flow that automatically determines which verification engines to use for each task. Once created, the Apps are validated by OneSpin and made available through the company’s App Library to operate with the company’s formal product line.
To date, Agnisys Inc. and Tortuga Logic Inc. have integrated LaunchPad into their systems realization and security software solutions, respectively. Both have executed Original Equipment Manufacturer (OEM) agreements with OneSpin. For example, security verification expert Tortuga Logic has delivered LaunchPad as part of its Prospect™ product line, using an appropriate business model. Other implementations, including Intellectual Property (IP) related developments, will be announced soon.
The OEM agreements allow specialist companies to develop formal verification apps for their specific market segments and market them within their own tools, at a lower and more accessible price than buying OneSpin’s full formal verification environment.
This, according to Kelf, dramatically broadens the market base that OneSpin Solutions could have addressed with its flagship product alone, while each OEM who resells a market-specific solution integrating such a formal verification app provides a royalty stream for OneSpin Solutions.
Specialized, formal-based apps can be delivered by application domain experts, increasing the scope of formal verification to a range of disciplines previously closed to the technology. Through the use of SystemVerilog-based standards to create an easy integration methodology, LaunchPad can be applied quickly and in an open manner.
Learn more about LaunchPad at https://onespin.com/index.php/id-360-launchpad.html
Visit OneSpin Solutions at www.onespin-solutions.com