industry news
Subscribe Now

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

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

MUNICH, GERMANY –– June 25, 2019 –– 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. 

NanoSemi took advantage of OneSpin’s differentiating technology to assure their designs are fully verified. NanoSemi chose OneSpin 360 DV-Verify and SystemC/C++ extension because they support field programmable gate array (FPGA) and system on chip (SoC) flows, offering exhaustive verification without complicating debug efforts. 

“OneSpin 360 DV-Verify enabled us to find issues in our mission-critical SystemC/C++ projects,” affirms Parag Sheth, VP of Product Development at NanoSemi. 

The OneSpin SystemC/C++ Approach

OneSpin 360 DV-Verify provides an automated and exhaustive approach to verifying SystemC code to support high-level synthesis for designs in automotive, artificial intelligence (AI), machine learning and 5G applications. 

“Although designing in a high-level language has many advantages, it is critical that verification not be compromised,” says Raik Brinkmann, OneSpin’s president and chief executive officer. “The OneSpin solutions bring to SystemC/C++ verification groups the rich verification capabilities available for SystemVerilog and VHDL RTL designs. Results from NanoSemi’s first project clearly demonstrate the value of this approach.”

For more details, go to: https://bit.ly/2XlUwSx 

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 commitment is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit www.OneSpin.com to learn more.

Leave a Reply

featured blogs
May 29, 2020
Each industry has its own standards and requirements that components must meet in order to be considered usable for that industry. There are some tests that are common between industries, such as outgassing, but more often than not there are going to be different requirements...
May 29, 2020
[From the last episode: We reviewed our tour of IoT and cloud computing.] We'€™ve talked about conventional computing, so now we'€™re going to look at a new computing application that'€™s taking the industry by storm: machine learning. We did a quick overview a long tim...
May 29, 2020
AI is all around us, but what is it exactly? For curious minds, this series of blogs explores the fundamental building blocks of AI, which together build the AI solutions we see today and that will enable the products we will enjoy tomorrow. This blog throws light on Supervis...
May 27, 2020
Could life evolve on ice worlds, ocean worlds, ocean worlds covered in ice, halo worlds that are tidally locked with their sun, and rogue worlds without a sun? If so, what sort of life might it be?...

Featured Video

DesignWare 112G Ethernet PHY IP Insertion Loss Capabilities

Sponsored by Synopsys

This video shows the performance results of the Synopsys 112G PHY receiver to varying amounts of channel insertion loss. The IP meets the standards requirements. With leading power, performance, and area, the IP is available in a range of FinFET processes for high-performance.

Click here for more information

Featured Paper

Actuator Design Trends for Functional Safety Systems in Electric and Autonomous Vehicles

Sponsored by Texas Instruments

Four automotive trends – connected, autonomous, shared and electric, also known as CASE – are driving some of the most exciting automotive developments right now. This white paper focuses on the impact of CASE trends on electrically actuated systems and how designers can meet the needs of evolving functional safety systems.

Click here to download the whitepaper