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 CEO. “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.




Review Article Be the first to review this article
SolidCAM - Learn More

Featured Video
Editorial
Latest Blog Posts
Sanjay GangalMCADCafe Lens
by Sanjay Gangal
NVIDIA GTC October 2020 Keynote
Jobs
Product Design Engineer - Softgoods for Apple Inc at Cupertino, California
Detailing/ PM Manager for Commercial Metals Company at Dallas, Texas
Electrical Engineer for Lockheed Martin at Liverpool, New York
Service Software Expert-CATIA & CAA for Dassault Systemes at Shanghai, China
Director, Industrial Machinery Solutions- SISW PLM for Siemens AG at Livonia, Michigan
Design Engineer - Tilt Up and Bracing for Commercial Metals Company at Dallas, Texas
Upcoming Events
PLM Road Map & PDT Spring 2021 at 3909 Research Park Drive Ann Arbor MI - May 19 - 20, 2021
TCT ASIA 2021 at National Exhibition and Convention Centre(NECC) Shanghai China - May 26 - 28, 2021
RAPID + TCT at McCormick Place Chicago IL - Sep 13 - 15, 2021
WESTEC Online at Online CA - Sep 21 - 23, 2021
Kenesto: 30 day trial
MasterCAM



© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise