Axiomise Wiki

Overview

Axiomise is a UK-based consultancy and strategic advisory firm specializing in formal modeling and verification of SoCs, systems, and IP. The company focuses on enabling rigorous assurance of system correctness, safety, reliability, and security using formal methods.

Foundation & Team

Founded in the late 2000s and headquartered in Cambridge, England, Axiomise was established by experts in hardware verification and formal methods. Its team includes formal method specialists, hardware architects, and software engineers committed to raising assurance standards in critical systems.

Core Services & Expertise

Axiomise provides advisory and engineering services in:

• Formal Verification & Modeling

  • Application of system‑level and property‑based formal methods to prove correctness of control logic, security properties, and protocol compliance for SoCs, chiplets, and complex IP blocks.

• Security-Critical Systems Assurance

  • Development of security models, threat modeling, and formal proof of compliance with standards (e.g. Common Criteria, ISO 26262, DO‑254) for high-integrity systems.

• Functional Safety Certification Support

  • Verification support for safety‑critical domains including aerospace, automotive, and industrial, with rigorous analysis aligned to safety standards.

• Design Reviews & Audits

  • Formal analysis of design specifications, RTL code, memory controllers, interconnects, power domains, and complex behavioral blocks.

• IP & Protocol Compliance Testing

  • Ensuring compliance with bus protocols (e.g. AMBA, PCIe, DDR, USB), power-management schemes, reset sequencing, clocking, isolation and gating logic through formal property assertion.

Competitive Strengths

• Formal methods expertise – Deep knowledge in applying mathematical modeling and proof techniques to validate critical system behavior.

• Independent advisory role – Vendor-agnostic consulting enabling unbiased, evidence-based evaluation and verification.

• Regulatory and standards alignment – Strong experience supporting certifications and audits against security and safety standards.

• Formal-driven design assurance – Capable of identifying corner-case bugs and vulnerabilities that simulation or traditional methods may miss.

• Cross-domain capability – Works across industries including semiconductor, aerospace, automotive, defense, and medical devices.

Target Markets & Applications

• Risk-sensitive sectors such as autonomous vehicles, space systems, avionics, and defense electronics

• Semiconductor and IP companies seeking assurance of functional and security properties in SoCs and accelerator designs

• Industries requiring rigorous compliance to safety, security, or functional reliability standards

• Design houses producing chiplets, interconnect IP, or processing cores needing formal validation and assurance workflows

Service Model & Engagement

Axiomise offers flexible engagement models including:

• Custom consulting—partnering with internal engineering teams to apply formal verification directly to design flows

• Audit and assurance projects—formal proof of design properties and security model validation

• Training and mentorship—tailored workshops and onboard training to build internal formal capability

• Toolchain evaluation and integration—assistance with selecting and configuring verification tools and methodologies

Vision & Mission

Axiomise’s mission is to deliver the highest level of assurance in digital systems design through formal modeling and verification. They aim to reduce risk, boost reliability, and enable designers to build safe, secure, and correct systems using formal evidence as a foundation of trust.

Company Website

Axiomise on SemiWiki