Why Choose Axiomise?
We believe that formal verification is the only efficient way of verifying the designs exhaustively to prove the absence of bugs.
Axiomise was founded by Dr. Ashish Darbari who has been at the helm of formal verification deployment for several decades in organizations such as OneSpin Solutions, Imagination Technologies and Arm. He not only supervised and led teams of people to deliver high-quality results with formal verification, he still actively codes complex formal verification testbenches alongside leading a world-class team of staff at Axiomise.
Under his leadership the Axiomise team is delivering cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
By applying problem reduction strategies the Axiomise team is able to apply property checking and in some cases theorem proving to offer the complete set of consulting & services package from formal reasoning, to hands-on execution on projects to sign-off using the Axiomie six-dimensional coverage helping its customers get closer to achieving the zero bug escape vision.
Multi-pronged
At Axiomise we take a multi-pronged approach to enabling customers in formal. Our mantra is very simple, we want you the customer to be successful and to do that we are able to provide flexibility in all our offerings. We understand that no two customers are the same and therefore their requirements would vary. We believe that the customers need a combination of training, consulting and project support to make them self sustainable in executing formal with success.
The core of our solutions is based on scalable formal verification methodologies that are proven to work in practice and this reflects in our three layers of training, consulting and project support. However, we understand that formal does not work in silos, so we provide detailed consulting to enable our customers to understand how to integrate formal with other verification solutions. We therefore provide our consulting services focussed on verification strategy, planning, execution and review. But since no two customers are the same in requirements for project execution we remain flexible in scoping and providing project support that our customer really needs.
Unique Training
We believe that good training and understanding in-depth on how to use formal verification in practice is the secret to success. At Axiomise we have spent years working on formal verification projects in industry to understand what works well in practice and what doesn’t. We have learnt by doing it ourselves and this hands-on experience is reflected in our vendor-neutral training programmes making it truly unique. Read some of the testimonials provided on the quality of training.
We have noted over the years that not only do engineers need technical training, sometimes their managers also need to understand the scope and value-proposition of formal. At Axiomise, we provide a training module that gives busy managers a quick view of formal’s key benefits and gives them insight on how to deploy formal on projects.
Methodology Focus
- Our training, consulting and services is focussed on methodologies of scalable formal verification
- Our knowledge is based on best practices developed at Axiomise
- We undertake verification audits whereby we can review your verification plans, strategies and your testbenches
- We provide services on real projects where we can advise you on the best strategies for applying formal
- Our methodologies have been used on industrial sized projects and are proven to work well in practice
- We cover the entire formal verification flow, not just focus on the use of properties
Tool Agnostic
Understanding how the tools work and how to use their features properly is equally important; so we offer an opportunity to learn this from us. At Axiomise we have people who have used a range of commercial tools in the market and have experience of building some themselves. We offer a training programme that can be adapted to work with your tool of choice, but at the same time, we provide insights into the tools in conjunction with our EDA partners.
What you will notice from our training is that our methodology focus is very much tool agnostic, and yet we bring in the focus on tools when we need to join the dots to complete the full picture.