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.