Axiomatic AI

Axiom Math

This company develops artificial intelligence systems for formal mathematical reasoning and automated proof verification for developers, researchers and financial institutions.

VerifAIX

This company provides AI-powered software for semiconductor design teams to automate hardware verification plans, testbenches, and assertions from specifications and RTL.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Flow Engineering

This company develops an AI-driven platform for automating design change propagation and verification for hardware engineering teams in the automotive and aerospace industries.

Alpha Design AI

This company develops artificial intelligence software for chip design and verification to assist semiconductor engineers with hardware development tasks.

Normal Computing

This company develops artificial intelligence software and thermodynamic computing hardware for semiconductor engineering and chip verification teams.

Caspia

This company develops AI-powered hardware security verification tools for engineers to identify and resolve vulnerabilities during the design process.

Mach42

This company develops artificial intelligence software for semiconductor design and fusion control to accelerate engineering verification for chip manufacturers and energy researchers.