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

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:

Review Article Be the first to review this article

Featured Video
Latest Blog Posts
Colin WallsEmbedded Software
by Colin Walls
Time for a new programming paradigm?
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automatic Handling of Register Clock Domain Crossings
Modesto (Mo) CasasGlobal Business in EDA
by Modesto (Mo) Casas
Globalizing Sales in a COVID-19 Environment
Product Line Manager for EDA Careers at Multiple, North Carolina
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Graduate Hardware Engineer for arm at Austin, Texas
Upcoming Events
DVCon Europe 2020 Virtual at Germany - Oct 27 - 28, 2020
SystemC Evolution Day at Germany - Oct 29, 2020
2020 International Conference On Computer Aided Design at San Diego Mission Bay Resort San Diego CA - Nov 2 - 5, 2020

© 2020 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — 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 PolicyAdvertise