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

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/]]>