It’s all about Methodology
You need your best, sharpest pencils but not every pencil will be used to draw everything you would like. Having a clear sense of proportion, measurement and a clear understanding of requirements is essential to get the best out of your toolkit.
With formal verification that is what is needed. A good understanding of methodologies that underpin successful deployment of formal is needed, something that is very often missing from most formal verification training programmes. If you look around, most formal verification training programmes focus on one hand too much on the assertion languages used, their latest and greatest syntactical enhancements, or on the other too much focus on the EDA toolkit and its features.
The Formal Paradox
Due to this nature of formal verification training and the lack of focus on good methodology, the end user of formal ends up using formal at extremeties resulting in the formal paradox which is totally unhealthy. On the one hand you will find Formal Gurus in most organizations working on deep formal – end-to-end verification and on the other a team of engineers using formal apps only exercising the fully automated aspects of the tool. Unfortunately, neither of these use models result in a comprehensive deployment of formal that exploits the full potential in finding corner case bugs and being able to prove exhaustively properties of the design that may be often needed. There is also a part in the middle of this spectrum where you see teams of engineers exploiting assertions but this is mostly not well organised and not sytematically deployed with often assertions being used being simple point-based assertions that check very simple behaviour, again not fully exploiting the full potential of formal.
What is missing from most training programmes is a good emphasis on methodology needed for adopting formal for mainstream functional verification.
At Axiomise, we focus on mitigating the gap shown above which is much needed to solve the mainstream functional verification challenges with formal. We specialise in methodologies that allow formal to scale for huge designs. Scalable formal verification is not the story of the legends requiring PhDs; it can be learnt and applied through our training programmes.
Axiomise also specialises in offering training for busy managers to help them understand the scope and value proposition of formal. We offer a specific training course on this; or as a more flexible consulting option which we can develop as per the requirements of the customer.
Axiomise formal training is unique in the industry.
It’s all about your business
Over the years, it has become clear that most businesses who have leaped 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 can be achieved for you. 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.
Please talk to us more about our consulting services.
Despite supporting customers with our training and providing with appropriate consulting services, some of our customers may want us to take on project work for in-house execution. Axiomise is happy to support its customers with this option and can offer full project work support together with strategic partners. If the customers want engineering support for project work on-site, Axiomise can provide this too.
Please talk to us to discuss your requirements.