Axiomise is a formal verification training, consulting, and services company. It also offers a formal verification app for end-to-end verification of RISC-V processors.
The company aims to make it easier to deploy formal methods on complex SoCs through abstraction-driven methodologies and six-dimensional coverage solutions that can be used with any commercial formal verification tool. Axiomise covers a range of design types, such as RISC-V, Arm, or x86 processors, GPUs or video blocks, networking blocks including Wi-Fi and 5G, AI/ML hardware, and NoC-based fabrics. Alongside the usual functional verification challenges, it can address safety-critical and security verification tasks, find bugs in previously verified designs, and establish exhaustive proof of bug absence.
