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.

Author
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

Name
 
Email
 
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

Future World

Taking place in London, Future World is a conference and meet-up for ...

Disappearing die

This one-day conference, organised by NMI and IMAPS-UK and held at Mitel ...

Get to market faster

A quick look at using Vicor's PFM and AIM in VIA packaging for your AC to Point ...

Acquire and survive?

The dust is beginning to settle following the news that Swiss company Dätwyler ...

Pressing the button

With less than two weeks to go before the EU referendum, the debate remains ...

A change of course

Since taking over as CEO in December 2015, Jeff Benck has rung the changes at ...