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

MUNICH, Germany, April 09, 2019 (GLOBE NEWSWIRE) -- 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 Solutions
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 dedication is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit to learn more.

Connect with OneSpin at:
Twitter: @OneSpinSolution

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:
Nanette Collins                         
Public Relations for OneSpin
(617) 437-1822

onespin Signet 2016_claim_rgb.png

Review Article Be the first to review this article

Sr. Application Engineer for Mentor Graphics at Fremont, California
Senior Software Architect Internet for EDA Careers at San Jose, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, California
Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Upcoming Events
FLEX 2020 and MSTC 2020 at DoubleTree by Hilton 2050 Gateway Place San Jose CA - Feb 24 - 27, 2020
DVCon U.S. 2020 at DoubleTree Hotel San Jose CA - Mar 2 - 5, 2020
OFC 2020 - The Optical Networking and Communication Conference & Exhibition at San Diego Convention Center San Diego CA - Mar 8 - 12, 2020
DATE '2020 at ALPEXPO Grenoble France - Mar 9 - 13, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers

© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise