MEDIA ALERT: OneSpin Solutions to Exhibit at SemIsrael Expo 2017
Plans Demonstration of Formal Verification Solutions for Automotive, Mission-Critical Applications, SystemC-, FPGA-Based Designs

(firmenpresse) - SAN JOSE, CA -- (Marketwired) -- 11/09/17 --
, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs)
Will demonstrate its safety-critical formal verification for automotive and mission-critical applications, Quantify™ Fault Observation Coverage, SystemC/C++ Formal Verification Environment and Equivalence Checking-Field Programmable Gate Array (EC-FPGA) in Booth #30 at .
Tuesday, November 28
Avenue Convention Center, Airport City, Israel
Dave Kelf, OneSpin's vice president of marketing, will present "How Safety Requirements Are Driving Advanced Formal Verification" during the Front-end Design and Verification Track.
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.
Website:
Twitter: (at)OneSpinSolution
LinkedIn:
Facebook:
OneSpin, OneSpin Solutions, OneSpin 360, Fault Injection App (FIA), Fault Propagation Analysis (FPA), Fault Detection App (FDA) 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
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Bereitgestellt von Benutzer: Marketwired
Datum: 09.11.2017 - 15:48 Uhr
Sprache: Deutsch
News-ID 567513
Anzahl Zeichen: 0
contact information:
Town:
SAN JOSE, CA
Kategorie:
Electronics & Communications
Diese Pressemitteilung wurde bisher 388 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: OneSpin Solutions to Exhibit at SemIsrael Expo 2017"
steht unter der journalistisch-redaktionellen Verantwortung von
OneSpin Solutions (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).