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

SAN DIEGO and SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™ and Tortuga Logictoday signed a multi-year original equipment manufacturer (OEM) agreement, enabling Tortuga to integrate OneSpin 360LaunchPad™, OneSpin’s new adaptive formal platform,with Prospect,itsHardware 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 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’sProspect as a third-party app in the OneSpin AppsLibrary, augmentingOneSpin’s portfolio with a new security capability.

 “Hardware security verification is a growing segment requiring a powerful test capability,”remarks Dr. RaikBrinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Tortuga Logic needed a formal engine to complete itsproduct 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 productand 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.comEmail: Email Contact

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