OneSpin Solutions to Demonstrate Formal Verification for Safety-Critical Applications, SystemC Designs, FPGA Designs at DVCon Europe
October 18, 2018
Program Includes OneSpin Coverage Tutorial, Advanced Verification Techniques Session Chaired by Raik Brinkmann, Automotive Panel Moderated by Jim Hogan
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.
“Using Next-Generation Methods of Systems Modeling and Virtual Prototyping to Revolutionize the Design, Verification and Manufacture of High-Value, Complex Electromechanical Products across the Automotive Supply Chain,” will be moderated by Jim Hogan, a member of OneSpin’s Board of Directors. The panel will be held Thursday from 9:15 a.m. until 10:30 a.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.
Attendee breaks at DVCon Europe are sponsored by 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: