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

M2.COM selects LoRa

The M2.COM sensor platform, announced by Advantech in February 2016, will use ...

MISRA C evolves

With the increased connectivity of applications and devices, OEMS are demanding ...

Material challenges

In 2015 the global installed capacity for photovoltaics hit 180GW and the ...

MENE 2016

Metro Radio Arena, Newcastle. Manufacturing and Engineering North East is a ...

Get to market faster

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

The great debate

According to Mark Twain: “Facts are stubborn things, but statistics are ...

Intel looks to IoT

Intel has built its business on domination of the PC market. Over the years, ...

Keeping standards high

Engineers – at least those who are worth their salt – ask questions. And those ...