PR: NanoSemi Relies on OneSpin Automated Formal Verification Tools to Verify SystemC Designs for 5G ASICs - FirstEDA
23040
portfolio_page-template-default,single,single-portfolio_page,postid-23040,ajax_fade,page_not_loaded,,qode-child-theme-ver-1.0.0,qode-theme-ver-14.5,qode-theme-bridge,wpb-js-composer js-comp-ver-5.7,vc_responsive

PR: NanoSemi Relies on OneSpin Automated Formal Verification Tools to Verify SystemC Designs for 5G ASICs

25-06-2019

 

 

OneSpin 360 DV-Verify Fills High-Level Synthesis Verification Gap for Data-Driven Designs in 5G, WiFi, Other Applications

 

Munich, Germany – OneSpin Solutions,provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, today announced NanoSemi Inc. deployed its formal verification solutions to verify its machine learning-based intellectual property (IP) for 5G and Wi-Fi applications.

 

High-level synthesis tools are increasingly being adopted for data-driven designs in applications such as automotive, AI, machine learning, and 5G. However, verification at the C++ level is extremely difficult and time-consuming with complex verification environment set up and unpredictable results. OneSpin 360 DV-Verify provides a unique automated and exhaustive approach to verifying SystemC designs.