OneSpin Highlights Formal Verification's Advantages at DVClub Europe, DVCon China

April 29, 2019 OneSpin Solutions

OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will present its formal verification expertise through presentations, a poster session and an exhibit at DVClub Europe Q2 and DVCon China.
Dominik Strasser, OneSpin's vice president of engineering, will offer "Leveraging 20 Years of Formal Verification Data to Speed-up Today's Proof" during the DVClub Europe Q2 Meeting on Artificial Intelligence in Verification Tuesday, April 16, at 12:25 p.m. BST. Strasser will outline how OneSpin leveraged formal verification data accumulated over close to 20 years to deliver next-generation automatic proof optimization strategies to a mix of formal users. The event is free of charge either in person at facilities in Bristol and Cambridge, U.K., and Grenoble France or online. Registration information is available at:

During DVCon China Wednesday, April 17, a poster session and short workshop highlight OneSpin's advantage, while its Booth (#107) will feature the full complement of its certified IC integrity verification solutions.

OneSpin's Product Specialist Design Verification Nicolae Tusinschi will showcase "Scaling Formal Connectivity Checking to Multi-Billion Gate SoCs with Specification Automation" during the poster session. He will also present a OneSpin-sponsored short workshop, "Portable Coverage: Integrating Formal and Simulation Coverage for Efficient, Faster Verification Signoff." DVCon China's program can be found at:

About OneSpin
OneSpin Solutions is a leading provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits. These solutions are based on OneSpin's widely used formal verification technology and assure the integrity of SoCs, ASICs and FPGAs. Headquartered in Munich, Germany, OneSpin partners with leaders worldwide in automotive and industrial applications; defense; avionics; artificial intelligence and machine learning; consumer electronics; and communications. Its advanced solutions are well-suited for developing heterogeneous computing platforms, using programmable logic and designing and integrating processor cores, such as RISC-V. OneSpin's customer-oriented commitment is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit to learn more.

Engage with OneSpin at:
Twitter: @OneSpinSolution 

Previous Article
SmartDV's DVCon China Exhibit to Showcase Extensive Verification IP Portfolio

Will Highlight New TileLink Verification IP for RISC-V Systems, SimXL Synthesizable Transactors for Emulati...

Next Article
Smart World of IoT– The Definite Integral!

We will explore the advantages of designing with single-chip IoT architectures, present and in the future.