Advanced Formal Verification Technology Platform from OneSpin Usedby Partner Companies in Range of New, Unique Verification Solutions
SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today unveiled 360 LaunchPad™, an adaptive formal technology platform that allows third-party companies with limited knowledge of formal technology to develop and deliver formal-based apps.
LaunchPad is a complete formal environment that can be utilized by app developers without in-house formal technology or expertize. It allows domain experts to efficiently create formal-based solutions targeting their field on a proven underlying verification foundation. LaunchPad may be delivered as part of the app by the developer. Or, the app can be included in the OneSpin App Library to operate with the company’s formal product line.
“LaunchPad is a missing link in the widespread adoption of formal verification, and will extend the reach of powerful formal techniques into new areas,” says Dr. RaikBrinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “The pre-existing platform makes it easier and quicker fordomain experts to develop a robust verification solution suitable to their market segment, without the need for acquiring in-house formal knowledge or technology.”
To date, Agnisys Inc. and Tortuga Logic Inc. have integrated LaunchPad into their systems realization and security software solutions, respectively. Both have executed Original Equipment Manufacturer (OEM) agreements with OneSpin. For example, security verification expert Tortuga Logic has delivered LaunchPad as part of its Prospect product line, using an appropriate business model.Other implementations, including Intellectual Property (IP) related developments, will be announced soon.
“Rigorous verification is a critical aspect to fully and exhaustively testing the security facets of a modern semiconductor,” notes Jason Oberg, Tortuga Logic’s president and CEO. “With OneSpin’sLaunchPad, we were able to catapult Prospect, our hardware security solution, into the marketplace with a robust and reliable formalplatform, introducing a specific verification solution for a complex, growing need.”
Apps for Specific Verification Problems
The use of focused applications, or “apps,” is an effective way to target powerful, formal-based technology at certain verification problems. These apps provide in-depth, specific verification solutions in an automated fashion, often eliminating the need for end users to write assertions while improving ease-of-use.
Traditionally, apps are built into formal verification tools and, therefore, must be developed and delivered by the formal verification tool vendor who is required to have expertise in the targeted problem area. LaunchPad eliminates this requirement by encapsulating a complete formal platform in a manner that allows its easy integration into a variety of specialized systems by engineers without a formal technology background.
Specialized, formal-based apps canbe delivered by application domain experts, increasing the scope of formal verification to a range of disciplines previously closed to the technology. Through the use of SystemVerilog-based standards to create an easy integration methodology, LaunchPad can be applied quickly and in an open manner.Because LaunchPad only works with the integrating app, the business model to the end-user can be set to match the app itself.
“ARV-Formal™ combines OneSpin’sLaunchPad and theAgnisys’ Automatic Register Verification app to ensure register operations in an RTL design under test are formally proven to match anIDesignSpec™ specification,” says AnupamBakshi, president and CEO of Agnisys. “This visionary development from OneSpin enabled us to create a powerful register verification solution very quickly, and could pave the way for a new spectrum of verification solutions.”
The LaunchPad also has potential for IP development. “Formal verification technology may be leveraged to improve many aspects of IP development and integration,” notes Warren Savage, president and CEO of IPExtreme. “OneSpin’sLaunchPad opens up exciting possibilities in the IP space without the enormous technical and commercial overhead of traditional formal solutions.”
LaunchPadis available now. To learn more, visit http://bit.ly/1HtxKe9
OneSpin Solutions at Design Automation Conference
OneSpin Solutions will demonstrate LaunchPadand its entire formal verification product family at the 52nd Design Automation Conference (DAC) in Booth #3126 June 8-10 at the Moscone Center in San Francisco. Information about DAC can be found at: www.dac.com
About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions award-winning formal verification technology is based on more than 300 engineering years of development and application service experience. OneSpin’s comprehensive product line simplifies designer verification, increases intensive block verification coverage, eliminates design refinement problems, and provides automated solutions for many complex verification problems. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: Email ContactWebsite: www.onespin-solutions.com
