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 Creates DAC Buzz With Innovative Formal Verification Solutions, New Corporate Identity

Co-Sponsor of I LOVE DAC Named to Gary Smith EDA’s Must See@DAC List

SAN JOSE, CALIF. –– June 1, 2016 –– OneSpin® Solutions, deemed a “must see” exhibitor at the Design Automation Conference (DAC) by Gary Smith EDA, will showcase its entire line of innovative formal verification solutions for error-free digital integrated circuits (ICs) in DAC Booth #1249.

Additionally, OneSpin will use DAC to unveil its new corporate identity that includes refreshed branding, logo and website. The DAC Exhibit Floor will be open Monday, June 6, through Wednesday, June 8, from 10 a.m. until 6 p.m. at the Austin Convention Center in Austin, Texas.

“In the last four years, OneSpin has grown from a small company into the fifth largest logic verification supplier after the four major simulation companies,” affirms Dr. Raik Brinkmann, OneSpin’s chief executive officer. “Our brand needs to reflect this status and, as such, I am proud to unveil our new corporate image at DAC, a defining moment in the company’s history.”

OneSpin’s formal verification solutions are suitable for designers who need to automate early verification and eliminate stimulus creation, verification engineers trying to accelerate and improve simulation-based verification processes, or development specialists leveraging automated apps to eliminate common device problems. It will offer continuous demonstrations of Safety Critical Design Verification, C++/SystemC Algorithm and Design Analysis and field programmable gate array (FPGA) Implementation Quality Improvement.

The co-sponsor of “I LOVE DAC” has teamed up with FormalWorld.org to offer daily presentations of user experiences and advances from leading expert users of formal verification in the FormalWorld Theater in its booth. In a “Game of Drones,” a mini-drone will be awarded to one winner from the audience after each presentation, and a more advanced drone will be raffled each day to one booth visitor. For a complete listing of speakers, go to: http://dac.onespin.com/

OneSpin will participate in several panel discussions during DAC, including Cooley’s Troublemaker Panel, moderated by John Cooley of DeepChip, and featuring Dr. Brinkmann Monday, June 6 from 3 p.m. until 4 p.m.

“Steering Safety Innovation in Autonomous Car Electronics,” moderated by Jim Hogan of Vista Ventures, will look at self-driving vehicle and safety-critical engineering problems in automotive electronics. Dr. Brinkmann will participate, along with experts from ARM, Bosch and STMicroelectronics, in the DAC Pavilion Panel session Tuesday, June 7, from 2 p.m. until 2:45 p.m.

A Design Track panel titled, “The Great Simulation/Emulation Faceoff,” will examine the verification three-legged stool of simulation, emulation and formal verification Tuesday, June 7, from 3:30 p.m. until 5pm.  David Kelf, vice president of marketing, will join other verification experts to talk about these technologies.

Capping OneSpin’s DAC presence will be an interview of Dr. Brinkmann by Jim Hogan in the FormalWorld Theater at the OneSpin Booth (#1249) at 12:30 p.m. Wednesday. Refreshments will be served.

To schedule an in-depth discussion and demonstration, go to: dac.onespin.com

For more information about OneSpin Solutions, visit: www.onespin.com

The complete DAC program can be found at: www.dac.com

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:
Website: www.OneSpin.com
Twitter: @OneSpinSolution 
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions

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                                       
nanette@nvc.com

 

Back