Skip to main content
In the News

NanoSemi Relies On OneSpin Automated Formal Verification Tools To Verify SystemC Designs For 5G ASICs

By June 26, 2019May 12th, 2021No Comments

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.
 
To read more, please visit: https://www.onespin.com/press-events/press-releases/details/news/detail/News/nanosemi-relies-on-onespin-automated-formal-verification-tools-to-verify-systemc-designs-for-5g-asi/

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.