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

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