WHO: OneSpin® Solutions, provider of innovative formal verification solutions for error-free digital integrated circuits (ICs)
WHAT: Will exhibit at ChipEx2017 and present mini-seminars in its booth on safety-critical solutions for automotive applications using formal verification to satisfy ISO26262 requirements
WHEN: Wednesday, May 10
WHERE: Israel Trade Fair Center, Tel Aviv, Israel
Attendees can expect to see demonstrations of OneSpin's four comprehensive design verification solutions -- Safety Critical Analysis and Diagnostic coverage, Quantify™ Fault Observation Coverage, SystemC/C++ Formal Verification Environment and Equivalence Checking-Field Programmable Gate Array (EC-FPGA).
About OneSpin Solutions
OneSpin Solutions has established itself as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. Its advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past four years as it forges partnerships with leading electronics companies to pursue design perfection. OneSpin: Making Electronics Reliable.
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.
Engage with OneSpin at:
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