OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by Delivering OneSpin 360 LaunchPad, First Adaptive Formal Platform

SAN JOSE, CA -- (Marketwired) -- 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. 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: info@onespin-solutions.com 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 





Review Article Be the first to review this article

EMA:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Retail Therapy: Jump starting Black Friday
Peggy AycinenaIP Showcase
by Peggy Aycinena
REUSE 2016: Addressing the Four Freedoms
More Editorial  
Jobs
ACCOUNT MANAGER MUNICH GERMANY EU for EDA Careers at MUNICH, Germany
Principal Circuit Design Engineer for Rambus at Sunnyvale, CA
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
AE-APPS SUPPORT/TMM for EDA Careers at San Jose-SOCAL-AZ, CA
Upcoming Events
Zuken Innovation World 2017, April 24 - 26, 2017, Hilton Head Marriott Resort & Spa in Hilton Head Island, SC at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
CST Webinar Series



Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy