MUNICH, Germany and SAN JOSE, Calif., Feb. 20, 2018 (GLOBE NEWSWIRE/KOREA IT TIMES) --
WHO: OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs)
WHAT: Will offer multiple demonstrations outlining the benefits of OneSpin 360 EC-FPGA™, Quantify™ Fault Observation Coverage and SystemC/C++ Formal Verification Environment in Booth #902 at DVCon
WHEN: DVCon Expo and Reception Monday, February 26, from 5 p.m. until 7 p.m., Tuesday, February 27, and Wednesday, February 28, from 2:30 p.m. until 6 p.m.
WHERE: DoubleTree Hotel, San Jose, Calif.
Other demonstrations will showcase OneSpin’s safety-critical formal verification solutions for automotive and mission-critical applications, including the recently announced EC-FPGA Tool Qualification Kit certified by internationally recognized testing body TÜV SÜD. OneSpin completed of a series of factory inspections and audits of its organization and tool development certifying its formal verification solutions meet tool qualification requirements set by functional safety standards (ISO 26262, IEC 61508 and EN 50128/SIL 3). As a result, OneSpin's formal tools and solutions can reach the highest safety integrity levels (ASIL D and SIL 3).
OneSpin will participate in two sessions in the technical program. OneSpin will participate in two sessions in the technical program. Sasa Stamenkovic, OneSpin’s senior field application engineer, and Ravi Ram, verification architect and principal engineer at Xilinx, will present “Formal Verification of Floating-Point Hardware with Assertion-Based Verification Intellectual Property (VIP)” during the “Formal and Assertion-Based Verification” session. It will be held Wednesday from 3 p.m. until 4:30 p.m.
“Using Mutation Coverage For Advanced Bug Hunting,” a OneSpin-sponsored workshop, will be held Thursday from 2 p.m. until 3:30 p.m. Speakers will be Muhammad Haque Khan, product specialist, design verification, and Vladislav Palfy, global manager for application engineering, both of OneSpin. The tutorial will take a case-study approach, focusing on complex bug hunting. Attendees will be guided through techniques applicable to various design applications.
About OneSpin Solutions
OneSpin Solutions has emerged 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. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.
Engage with OneSpin at:
Website: www.OneSpin.com
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions
OneSpin, OneSpin Solutions 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
nanette@nvc.com
