OneSpin Solutions, Tortuga Logic Ink Multi-Year OEM Agreement

Apps Model Adopted by OneSpin Solutions, Tortuga Logic to Link Formal Verification Platform With Hardware Security Design and Analysis Toolkit


SAN DIEGO, CA and SAN JOSE, CA--(Marketwired - May 21, 2015) - OneSpin Solutions™ and Tortuga Logic today signed a multi-year original equipment manufacturer (OEM) agreement, enabling Tortuga to integrate OneSpin 360 LaunchPad™, OneSpin's new adaptive formal platform, with Prospect, its Hardware Security Design and Analysis Toolkit.

LaunchPad, introduced today by OneSpin Solutions, offers a way for third-party suppliers such as Tortuga Logic to embed its formal verification software into their products or "apps." (See separate news release titled "OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by Delivering OneSpin 360 LaunchPad, First Adaptive Formal Platform.")

Under terms of the agreement, Tortuga Logic will market, license and sell LaunchPad as part of its products using a business model of its choice. It will create LaunchPad licenses and provide basic support. OneSpin, provider of innovative formal verification solutions targeting a broad range of challenging verification problems, will provide in-depth formal support where needed. OneSpin will reference sell Tortuga Logic's Prospect as a third-party app in the OneSpin Apps Library, augmenting OneSpin's portfolio with a new security capability.

"Hardware security verification is a growing segment requiring a powerful test capability," remarks Dr. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "Tortuga Logic needed a formal engine to complete its product and we're delighted to have a role in the delivery of the first ground-breaking security product."

"OneSpin has proven to be an excellent partner with an exceptional product and outstanding support," says Jason Oberg, Tortuga Logic's president and CEO. "As a startup, we value OneSpin's market expertise and leadership position."

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 Tortuga Logic
Tortuga Logic, Inc., based in San Diego, Calif., is part of the emerging Design-for-Security market and has the goal to solve security-specific problems, minimizing security breaches in hardware and systems by automating the process of verifying their security properties. It has developed a comprehensive Hardware Security Design and Analysis Toolkit, transforming the way hardware designers and system architects test the security of hardware designs. More information can be found at: www.tortugalogic.com Email: info@tortugalogic.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

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.

Contact Information:

For more information, contact:
Nanette Collins
PR for OneSpin Solutions and Tortuga Logic
(617) 437-1822


Annette Bley
Public Relations for OneSpin Solutions
+44 (0)20 7482 4800