I’m pleased to welcome Axiomise of London and Silicon Assurance from Gainesville, Florida, to the ESD Alliance of SEMI. It’s great to see small and emerging companies like Axiomise and Silicon Assurance in our design ecosystem to help ensure its vibrancy and innovation.
Follow me as I offer thumbnail sketches of both.
Getting to Know Axiomise
www.axiomise.com (PRNewsfoto/Axiomise Ltd.)
Verification is an increasingly critical part of system design and Axiomise plays a significant role as a leading provider of cutting-edge formal verification training and services along with specialized verification solutions for RISC-V. It was founded by CEO Dr. Ashish Darbari about five years ago and since then, Axiomise engineers trained more than 200 verification engineers and offered countless solutions to semiconductor companies worldwide.
Ashish himself is an impressive figure as a noted formal verification practitioner of more than 20 years who continues to regularly use the entire toolbox of formal technologies, including theorem proving, model checking and equivalence checking. He also boasts 47 formal verification patents.
When asked why Axiomise joined the ESD Alliance and SEMI, Ashish was quick to answer: “It’s important for companies of our size to be part of the thriving electronic system design community. The networking and educational events and technical programs offer us a platform to reinforce the value of formal verification in semiconductor design in the global electronics industry.”
