comment on this article

Platform allows domain specific formal verification 'apps' to be developed

Looking to create a market in formal verification apps, OneSpin Solutions has launched a software platform that allows third party companies with limited knowledge of formal technology to develop and deliver domain specific formal based apps.

Called 360 LaunchPad, the software can be delivered as part of the app by the developer or the app can be included in the OneSpin App Library, working with its formal products.

"We're taking our assertion based engine and packaging it so other companies can use it inside their products," said Dave Kelf, vp of marketing.

To date, Agnisys and Tortuga Logic have integrated LaunchPad into their products. Tortuga has used it as part of its Prospect hardware security product line, while Agnisys' ARV-Formal combines LaunchPad with its Automatic Register Verification app to ensure register operations in an RTL design are formally proven to match a specification.

Kelf said he expected this approach to enable more tools to be created. "We think there could be a couple of hundred customers in the IP sector," he continued.

According to OneSpin, apps could be an effective way to target formal based technology at certain verification problems. Until now, these apps have been built into formal verification tools and developed and delivered by the formal verification tool vendor.

LaunchPad encapsulates a complete formal platform in such a way that its can be integrated into specialised systems by engineers without a formal technology background.

Graham Pitcher

Comment on this article

This material is protected by MA Business copyright See Terms and Conditions. One-off usage is permitted but bulk copying is not. For multiple copies contact the sales team.

What you think about this article:

Add your comments


Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

Related Articles