Will Be at HLDVT, DVClub San Jose, Design Solution Forum, DVCon Europe, FMCAD Exhibiting Formal Verification Tools, Presenting Tutorials, Chairing Sessions, Sitting on Panels

/EINPresswire.com/ -- OneSpin® Solutions, provider of innovative formal verification solutions for error-free digital integrated circuits (ICs), will sponsor and participate in a full complement of events, including workshops, meetings and conferences in California, Japan and Germany, in October.

The IEEE International High-Level Design Validation and Test (HLDVT) Workshop kicks-off the month Friday and Saturday, October 7 and 8. Dr. Raik Brinkmann, OneSpin's president and chief executive officer, will participate in a panel titled, "Killer Apps: Not Your Father's Formal Verification." Moderated by Jim Hogan of Angels by the Sea, expert panelists will identify trends and explain why the use of formal verification tools is increasing. Information about HLDVT, to be held in Santa Cruz, Calif., can be found at: http://hldvt.org/

OneSpin will offer a tutorial on "Making Formal Friendly for Simulation Savvy Engineers," at Design Verification Club (DVClub) Silicon Valley Wednesday, October 12, at 1:10 p.m. The quarterly Silicon Valley event, which includes lunch, will be held at Dave and Buster's in Milpitas, Calif., starting at 11:30 p.m. Details are available at: http://dvclub.org/

Moving on to Yokohama, Japan, OneSpin will sponsor and exhibit at the Design Solution Forum to be held Friday, October 14. Exhibits will be open from 9:30 a.m. until 5:15 p.m. OneSpin's Kayoko Ozawa will present "Streamlining the C++ Implementation of a Sobel Filter." To visit the Design Solution Forum website, go to: http://bit.ly/2cRTGIP

OneSpin will exhibit at DVCon Europe Wednesday, October 19, and Thursday, October 20, in Munich, Germany. Sven Beyer, OneSpin's product manager of Design Verification, will present a tutorial, "Simplified Assertion Abstraction to Code High-reliability Requirements for the Formal Verification of Safety Critical and Other Designs." Additionally Dr. Brinkmann will chair a session on "Verification Flow and Tools." The complete DVCon Europe program is available at: https://dvcon-europe.org/

Finally, OneSpin will be a sponsor again this year of the 16th International Conference on Formal Methods in Computer-Aided Design (FMCAD) to be held October 3-6 in Mountain View, Calif. For more information, visit: http://bit.ly/2d0QYRM

About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions demonstrates formal verification leadership through a range of advanced, leading-edge verification solutions for reliable digital integrated circuits (ICs). Its comprehensive product line improves verification quality and coverage while accelerating and simplifying development processes through automated and advanced verification techniques. Leading semiconductor and electronic system companies across all industry sectors rely on OneSpin in their innovative product development to achieve the highest possible product quality while reducing time-to-market pressures. Its United States headquarters is located in San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: info@onspin.com. Website: www.onespin.com Follow OneSpin on Twitter @OneSpinSolution

OneSpin, OneSpin Solutions, OneSpin 360, and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
Email Contact

Annette Bley
Public Relations for OneSpin Solutions
+44 (0)20 7482 4800
Email Contact