SAN JOSE, CA -- (Marketwired) -- Apr 27, 2016 -- OneSpin® Solutions, provider of innovative formal verification solutions targeting a broad range of challenging verification problems, is set to participate at events in Europe and Israel in May.
It will be an exhibitor at CDNLive EMEA Monday, May 2, through Wednesday, May 4, at the Dolce Hotel Unterschleissheim in Munich, Germany. OneSpin will demonstrate its SystemC Formal Verification Solution developed in partnership with the Cadence Stratus High Level Synthesis (HLS) group. For information about CDNLive EMEA, visit: http://bit.ly/1W759Um
Dominik Strasser, OneSpin's vice president of engineering, will give a talk on "Addressing the High-Level Synthesis Coding Barrier" during the SystemC Evolution Day 2016, a workshop on the evolution of SystemC-related standards. The workshop will be held Tuesday, May 3, at Intel in Munich. For specifics: http://bit.ly/20R1LOd
OneSpin will demonstrate its formal verification-based solutions, including the latest Safety Critical verification solution, SystemC formal verification and metric-driven formal verification with advanced observation coverage, during ChipEx 2016. The yearly international conferences of the Israeli microelectronics industry will be held Sunday, May 8, at the Tel Aviv Convention Center, Tel Aviv, Israel. The ChipEx 2016 website can be found at: http://bit.ly/1SJtM44
Rounding out the month will be a presentation during DVClub Europe Tuesday, May 24, hosted by Test and Verification Solutions (T&VS). Details on DVClub Europe are available at: http://bit.ly/1MzKpCY
To learn more about OneSpin Solutions, its demonstrated formal technology leadership and range of advanced verification solutions, go to: www.onespin.com
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 design 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: 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