Category: Computers and Software

Axiomise Presents a Unique Coverage-Driven RISC-v Formal Verification Solution
Press Release Dec 8, 2020
Axiomise Presents a Unique Coverage-Driven RISC-v Formal Verification Solution

Verifying beyond doubt with formal coverage
Axiomise Announces the Release of the Next-Generation RISC-V® App
Press Release Jul 14, 2020
Axiomise Announces the Release of the Next-Generation RISC-V® App

Enabling automatic & predictable architectural formal verification for RISC-V
Axiomise Announces Partnership With Mentor
Press Release Apr 22, 2020
Axiomise Announces Partnership With Mentor

Enabling predictable formal verification in the industry through Axiomise training
Axiomise Joins the OpenHW Group
Press Release Dec 18, 2019
Axiomise Joins the OpenHW Group

Verifying RISC-V designs with high assurance
Axiomise announces the availability of RISC-V Formal Proof Kit
Press Release Jun 10, 2019
Axiomise announces the availability of RISC-V Formal Proof Kit

Verifying RISC-V designs with high assurance