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.