We are always a foot away from an electronic chip. Whether it is a mobile phone, a laptop, a smartwatch, a car, or a plane – semiconductors are driving the world. Our reliance on electronic chips powered by semiconductor integrated circuit (IC) designs, and the underlying software has never been more profound.
From aerospace, healthcare, and automotive to intelligent AI/ML-powered consumer appliances and industrial process control systems powering up our electrical grids – IC designs are everywhere, and we cannot afford to have failures or defects in these. Whether it is the failure of Ariane 5 or Intel’s FDIV, or the meltdown and spectre security flaws, functional verification of ASICs and FPGAs based on dynamic simulation is struggling.
If you factor in requirements of functional safety and security, conventional simulation-based verification struggles to provide assurance. The only way to guarantee the absence of bugs is via a mathematical proof of correctness, possible only via formal methods.
At Axiomise, our vision is to make formal normal, and for the last five years, we have been doing just that!
We have pioneered the adoption of formal verification in the semiconductor industry for the last five years. Led by our visionary CEO, Dr. Ashish Darbari, who has 60 patents in formal verification, and Neil Dunlop an industry veteran with 40 years of experience, Axiomise has helped twenty customers over the last five years by providing them access to bleeding-edge formal verification methodology via its training programmes, consulting & services and vendor-neutral formal verification app for end-to-end verification of RISC-V processors.
We have made it easier for our customers to deploy formal methods on complex SoCs through our abstraction-driven methodologies and six-dimensional coverage solutions that can be used with any commercial formal verification tool. Axiomise experts can tackle the most challenging formal verification problems on RISC-V, Arm, or x86 processors, GPUs or video blocks, networking blocks including WiFi and 5G, AI/ML hardware, and NoC-based fabrics.
We have helped customers with the usual functional verification challenges but also on safety-critical and security verification tasks finding bugs in previously verified designs and establishing exhaustive proof of bug absence.