MEDIA ALERT: OneSpin Solutions to Feature New Adaptive Formal Application, Formal Fault Qualification Analysis for Safety Critical Systems at DAC


Daily Presentations from Partners, Formal and Industry Experts in OneSpin’s Theater;

Dr. Raik Brinkmann to Participate in Panel Discussion on IP Verification, Validation

SAN JOSE, CALIF. –– June 4, 2015 –– (reminder June 8)

WHO: OneSpin® Solutions, provider of innovative formal verification solutions targeting a broad range of challenging verification problems

WHAT: Will exhibit at the 52nd Design Automation Conference (DAC) in Booth #3126, showcasing its new OneSpin 360 LaunchPad™, an adaptive formal technology platform, and OneSpin 360 Qualify™, formal fault qualification analysis for safety critical systems. Demonstrations of its entire formal verification product portfolio will be available publicly and in OneSpin’s suites by appointment.

WHEN: Monday, June 8, and Tuesday, June 9, from 10 a.m. until 7 p.m. and Wednesday, June 10, from 10 a.m. until 6 p.m.

WHERE: Moscone Center, San Francisco

A series of presentations in the OneSpin Theater from formal experts and partners, including Agnisys, IPExtreme, Methods to Business, Oski Technology, Tortuga Logic and TVS, will be held daily. Theater presentations conclude with an interview of Dr. Raik Brinkmann, OneSpin’s chief executive officer, by Jim Hogan, managing partner of Vista Ventures. For a complete listing of presentations, go to:

Dr. Brinkmann will participate in a panel discussion titled, “Key Challenges of Verification and Validation of Modern Semiconductor IP,” Tuesday, June 9, from 11:30 a.m. until noon in Room 101. Moderated by Brian Bailey of Semiconductor Engineering, panelists will discuss key challenges to verify and validate semiconductor devices.

For more information about OneSpin Solutions or to register for a demonstration, visit:

DAC’s website is found at:

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


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                                                     Annette Bley
Public Relations for OneSpin Solutions               Public Relations for OneSpin Solutions
(617) 437-1822                                                     +44 (0)20 7482 4800
Email Contact                                                 Email Contact


Review Article Be the first to review this article

Featured Video
Design Verification Engineer for intersil at Morrisville, North Carolina
Applications Engineer for intersil at Palm Bay, Florida
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 26 - 29, 2018
ESC Conference Boston at boston MA - Apr 18 - 19, 2018
IEEE Women in Engineering International Leadership Conference at 150 W San Carlos St San Jose CA - May 21 - 22, 2018

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+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