){kind=logo}
){kind=logo}
Ashish Darbari
Founder & CEO,
Axiomise
Dr. Ashish Darbari is the Founder and CEO of Axiomise, a UK-based formal verification specialist. He holds a DPhil from the University of Oxford and is a Fellow of the British Computer Society (BCS) and IETE. With over 67 patents and 85+ publications in hardware verification, he is a recognised authority on formal methods applied to complex SoC design — covering cache-coherent interconnects, floating-point arithmetic, NoC verification, and security. He has worked across RISC-V, Arm, x86, GPU, and chiplet architectures. Ashish is known for making formal verification predictable and sign-off ready.