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
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Sr. staff ASIC Design Engineer -2433 for Microchip at San Jose, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy