close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

OneSpin’s Formal Verification Expertise Showcased in May at ChipEx, DVClub, SEE/MAPLD

Demos of OneSpin Formal Verification Solutions, Presentations by OneSpin Formal Experts

MUNICH and SAN JOSE, Calif. - April 26, 2018 -  OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will showcase its expertise in May at ChipEx2018DVClub Europe and SEE/MAPLD.

ChipEx will be held Tuesday, May 1, at the Tel Aviv Convention Center, Tel Aviv, Israel, from 8 a.m. until 4:30 p.m. OneSpin will exhibit and demonstrate its comprehensive formal verification solutions, including Safety Critical Verification, Quantify™ Fault Observation Coverage, SystemC/C++ Design Verification, and Field Programmable Gate Array (FPGA) Implementation Verification.

Nicolae Tusinschi, OneSpin’s product specialist design verification, will present “Meeting the Challenge: Formal Verification of an FPU” at DVClub Europe Tuesday, May 15. Attendees can participate online or in person at locations in Bristol and Cambridge, U.K., and Grenoble, France.

OneSpin will exhibit at SEE/MAPLD (Single Event Effects Symposium/Military and Aerospace Programmable Logic Devices Workshop) at the Marriott La Jolla in San Diego, Calif. The exhibition will run during meal and coffee breaks between technical sessions Tuesday, May 22, from 9:30 a.m. to 8 p.m. and Wednesday, May 23, from 9:30 a.m. until 1 p.m.

David Landoll, OneSpin's solutions architect, will present “Formal Sequential Equivalence Checking for Highly Optimized Safety-Critical FPGAs” Wednesday, May 23, at 9:40 a.m. He also will present “Mitigating Single Event Effects to Meet Functional Safety Standards” during the SEE/MAPLD poster session the same day from 5 p.m. to 8 p.m.

About OneSpin Solutions

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 

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