close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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 and SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™ and Tortuga Logic today signed a multi-year original equipment manufacturer (OEM) agreement, enabling Tortuga to integrate OneSpin’s LaunchPad™, the company’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-DV 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, 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:

About Tortuga Logic

Tortuga Logic, Inc., based in San Diego, Calif., is creating a new market segment for tools that facilitate secure hardware design. 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: Email:

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: Website:


Prospect is a trademark of Tortuga Logic. 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.