SOURCE: OneSpin Solutions

April 27, 2016 13:00 ET

OneSpin Solutions to Participate at CDNLive EMEA, SystemC Evolution Day, ChipEx, DVClub Europe in May

Plans Demonstrations on Full Formal Verification Solutions Portfolio, Talk on HLS Coding Barrier, Presentation at DVClub Europe

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

Contact Information

  • 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