LONDON, July 14, 2020 /PRNewswire/ — Axiomise® announced the availability of its new RISC-V formal verification app formalISA®. The app supports all the leading commercial formal verification tools and includes a new coverage solution for formal verification of RISC-V processors.
Article: https://www.prnewswire.com/news-releases/axiomise-announces-the-release-of-the-next-generation-risc-v-app-301092761.html
Stay Connected With RISC-V
We send occasional news about RISC-V technical progress, news, and events.
Copyright © 2023 RISC-V International®. All rights reserved. RISC-V, RISC-V International, and the RISC-V logos are trademarks of RISC-V International. For trademark usage guidelines, please see our Brand Guidelines and Privacy Policy