Axiomise Announces the Release of the Next-Generation RISC-V® App

By RISC-V Community NewsJuly 17, 2020No Comments1 min read

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