LONDON, UK. –– 6 January 2021 –– Axiomise® joined RISC-V International, a non-profit, corporation driving the adoption of the open-specification RISC-V instruction set architecture.
Axiomise has been involved in pioneering unique automated formal verification solutions for verifying RISC-V implementations. The Axiomise formal proof kit that powers the next-generation formalISA® app launched in 2020 has already been used to verify multiple RISC-V cores such as the CV32E40P from the OpenHW group recently, and the ibex and 0riscy cores in 2019, with exhaustive proofs of bug absence and corner case bug hunting within minutes.
“We welcome Axiomise to the RISC-V ecosystem as a Strategic member. Axiomise brings their strong focus on vendor-neutral formal verification methodology and tools that are widely applicable for the verification of RISC-V designs and we look forward to their collaboration and contribution.”, says Calista Redmond, CEO of RISC-V International.