MEDIA ALERT: OneSpin Solutions Paper to be Presented at Workshop on FPGAs in Nuclear Power Plants

September 25, 2018 OneSpin Solutions

WHO: OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs)

WHAT: Will present a paper during the 11th International Workshop on Application of Field Programmable Gate Arrays in Nuclear Power Plants. The invited presentation, “Formal Verification for Safety-Critical Applications of FPGAs,” will be given by David Landoll, solutions architect at OneSpin.

WHEN: Tuesday, October 9, from 9 a.m. until 9:45 a.m.

WHERE: Hyatt Regency, Dallas, Texas

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-soluti[...]

Facebook: https://www.facebook.com/OneSpinSolutions

Previous Article
Achronix to Showcase Flexibility of Speedcore eFPGAs During TSMC OIP Ecosystem Forum

Speedcore eFPGA IP's ability to add programmable fabric to high-performance chip designs for 5G wireless, H...

Next Article
New Digital Signal Controller (DSC) Accelerates DSP Performance for Time-Critical Control Applications
New Digital Signal Controller (DSC) Accelerates DSP Performance for Time-Critical Control Applications

dsPIC33CK is Microchip's highest performance single-core DSC in an ultra-small package