OneSpin Solutions to Demonstrate Formal Verification for Safety-Critical Applications, SystemC Designs, FPGA Designs at DVCon Europe

October 18, 2018 OneSpin Solutions

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.


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:




Twitter: @OneSpinSolution



Previous Article
Registration Opens for Phil Kaufman Award Ceremony, Dinner Honoring Dr. Thomas W. Williams
Registration Opens for Phil Kaufman Award Ceremony, Dinner Honoring Dr. Thomas W. Williams

ESD Alliance-, IEEE CEDA-Hosted Event to be held November 6 at The GlassHouse in San Jose, Calif.

Next Article
Moortec to show off its advances in PVT monitoring for 40nm, 28nm, 16nm, 12nm and 7nm at ARM TechCon in San Jose

A range of PVT Monitoring Subsystem Solutions supporting advanced node processes