TMCnet News
MEDIA ALERT: OneSpin Solutions to Demonstrate Formal Verification for Safety-Critical Applications, SystemC Designs, FPGA Designs at DVCon EuropeProgram Includes OneSpin Coverage Tutorial, Advanced Verification Techniques Session Chaired by Raik Brinkmann, Automotive Panel Moderated by Jim Hogan MUNICH and SAN JOSE, Calif., Oct. 18, 2018 (GLOBE NEWSWIRE) -- WHO: OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs) WHAT: Will demonstrate its comprehensive formal verification solutions in Booth #402 during DVCon Europe. These include formal analysis for automotive and other safety-critical applications, Quantify™ model-based mutation coverage, formal verification of SystemC/C++ designs and sequential equivalence checking for field programmable gate arrays (FPGAs). WHEN: Wednesday and Thursday, October 24 and 25. Exhibits are open Wednesday from 10 a.m. until 7 p.m. and Thursday from 10:30 a.m. until 6:30 p.m. WHERE: Holiday Inn Munich City Centre, Munich, Germany OneSpin will sponsor a tutorial titled, “Using Mutation Coverage for Advanced Bug Hunting and Verification Signoff,” presented by Nicolae Tusinschi, product specialist, design verification, Wednesday from 4 p.m. until 5 p.m. Dr. Raik Brinkmann, OneSpin’s CEO, will chair the “Advanced Verification Techniques” session Thursday from 3:15 p.m. until 4:45 p.m. About OneSpin 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 enables 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: 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: |