Consulting & Services
Axiomise provides a range of consulting and service opportunities. Users can choose from consulting for managers and verification leads for formal deployment in a strategic manner, and/or using the services of Axiomise experts to execute their projects.
It's all about your business
Over the years, it has become clear that most businesses who have leapt to apply formal systematically end up with lots of questions on the scope of formal, its value-add, and its place concerning other verification techniques such as simulation and emulation. Very often, we come across customers who would like to adopt more formal on their projects but need help with understanding the true value proposition of formal.
Axiomise provides this opportunity to help you scope out the place of formal in your business, understand what your needs are, and advise you accordingly on what is suitable for your needs. For Axiomise, your business comes first, and we would like to support you in your challenges with using formal. We understand that though training engineers in the skills of formal and methodology is a useful first step, one typically also needs ongoing support and advice before and after the training to get the most out of formal.
- High-level support on full verification flow from verification strategy and planning to complete sign-off
- Hands-on support on projects, from start to finish scoping out formal verification strategy, planning and execution
- Consulting on how to deploy formal on complex projects, enable team bring-up, mentoring and support
Projects can range from one week to several months. Axiomise is committed to providing honest, open, and transparent advice with no hidden surprises. What you see is what you get.
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.