TMCnet News
MEDIA ALERT: OneSpin Solutions Participation at DVCon includes Multiple Product Demonstrations, Paper Session Presentation, Thursday WorkshopMUNICH, Germany and SAN JOSE, Calif., Feb. 20, 2018 (GLOBE NEWSWIRE) -- 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 tw 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 Engage with OneSpin at: 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: |