Signaloid

BoolSi

This company develops a compiler platform that automatically transforms software code into custom hardware accelerators for embedded systems developers in robotics and defence.

Axiomatic AI

The company develops an artificial intelligence verification platform for engineering and science organisations to design and build complex hardware systems.

Quadric.io

The company develops general-purpose neural processor IP and software for semiconductor firms and manufacturers in automotive, industrial, robotics, and consumer electronics sectors.

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.

SaxonQ

SaxonQ develops diamond-based, room-temperature mobile quantum computers for research institutions and industrial organisations across the aerospace, robotics and data processing sectors.

Sift

This company provides a telemetry and observability data platform for engineering teams operating complex machines in the aerospace, defence, and autonomous systems industries.

ANALOG AI-COMPUTE

This company develops analog compute-in-memory processors and hardware that provide energy-efficient artificial intelligence inference for edge and embedded application customers.

Snowcap

Snowcap develops superconducting compute platforms for artificial intelligence, quantum and high-performance computing providers to improve speed and energy efficiency.