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

Update on Intel bug

According to a report on the BBC, Intel has stated that the software patches ...

Pushing the envelope

The demands of the IoT are pushing wireless MCU developers to create devices ...

The quest for power

The race is on to develop new battery chemistries and manufacturing processes – ...

Silicon stowaways

Trojans aren’t restricted to the software domain; in some instances, hardware ...

HES conference

The High-End Sensors (HES) international conference will be held between April ...

MicroTech 2018

On April 9-10, 2018 the MicroTech exhibition will be held at the Royal Holloway ...

Get to market faster

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

Embedding voice

As usual, the Consumer Electronics Show (CES) saw a bewildering array of smart ...

Tech trends

Last year was a busy one for technology and 2018 is unlikely to be any ...

Shaping the future

Alexander Everke, the CEO of ams, started his career in the semiconductor ...