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. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "The pre-existing platform makes it easier and quicker for domain 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's LaunchPad, we were able to catapult Prospect, our hardware security solution, into the marketplace with a robust and reliable formal platform, 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 can be 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's LaunchPad and the Agnisys' Automatic Register Verification app to ensure register operations in an RTL design under test are formally proven to match an IDesignSpec specification," says Anupam Bakshi, 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's LaunchPad opens up exciting possibilities in the IP space without the enormous technical and commercial overhead of traditional formal solutions."
LaunchPad is available now. To learn more, visit http://bit.ly/1HtxKe9
OneSpin Solutions at Design Automation Conference
OneSpin Solutions will demonstrate LaunchPad and 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: firstname.lastname@example.org Website: www.onespin-solutions.com
ARV-Formal and IDesignSpec are trademarks of Agnisys Inc. OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.
For more information, contact: Nanette Collins Public Relations for OneSpin Solutions (617) 437-1822 Email Contact Annette Bley Public Relations for OneSpin Solutions +44 (0)20 7482 4800 Email Contact