Getting Started With Formal Verification

Press Release (ePRNews.com) - LONDON - Nov 14, 2018 - Axiomise®, a formal verification training, consulting and services company, announces the first-of-its-kind formal verification training programme in the industry designed to be taught in a day, covering all aspects of industrial deployment of formal verification. The course is intended for everyone who has interests in digital design and verification including graduate students, Ph.D. students, Postdoctoral fellows, as well as practising professionals including designers, verification engineers, managers and architects. The course is offered at an affordable price of £475. For students, we offer a special discounted price of £350. The first course is planned to be delivered in the U.K. in the bustling city of Reading on 24 January 2019.

The training combines essential knowledge of theoretical principles of validation and verification using formal methods with real-life examples derived from practical problems seen by engineers. The training is fully compliant with all the main formal commercial EDA tools in the market. The course has been designed by Dr. Ashish Darbari, a well-known formal methods expert with over 20 years of experience of using formal methods – a decade of which has been spent in innovation, evangelising, training and deploying formal in industry. “In its first year, Axiomise has delivered courses to some of the biggest names in the industry. We often get asked by individuals whether we can provide an introductory course that can kick-start formal verification at an affordable price. This one-day course has been designed to provide a fast-track introduction to practical aspects of formal verification, paving the way for people to become advanced and expert users subsequently. This recurring training is not intended to be a replacement for the more detailed, advanced courses that we offer, but instead is the stepping stone in that direction,” says Dr. Darbari, founder and CEO of Axiomise.

To find out more and to register, click here.

In its first year, Axiomise delivered courses to some of the biggest names in the industry. This one-day course has been designed to provide a fast-track introduction to practical aspects of formal verification at an affordable price, paving the way for people to become advanced and expert users subsequently. This recurring training is not intended to be a replacement for the more detailed, advanced courses that we offer, but instead is the stepping stone in that direction. We are excited to open up this opportunity to anyone who wishes to make a start to learn scalable formal verification.

Dr. Ashish Darbari

Founder & CEO

Availability and Pricing

When: 24 January 2019

Where: Reading, U.K.

Fee: £475/£350 (for students)

About Axiomise

Axiomise is a formal verification training, consulting and services company. It has been founded to serve the semiconductor industry in the use of formal verification. Axiomise is dedicated to enabling formal for all semiconductor design and verification. The company believes that the only way to make formal mainstream for all design verification is to enable and empower the end user of formal – the hundreds of designers and verification engineers in the semiconductor industry. Axiomise offers cutting-edge formal verification consulting, training and services dedicated to enabling formal for all design verification. Learn how to apply formal in a predictable way to achieve high-quality sign-off.

Axiomise: Predictable Formal Verification.

Engage with Axiomise at:

Website: www.axiomise.com

Twitter: @axiomise

LinkedIn: https://www.linkedin.com/company/axiomise/

Facebook: https://www.facebook.com/axiomise

Axiomise and the Axiomise logo are trademarks of Axiomise Limited, UK.

Source : Axiomise
Business Info :
Axiomise Ltd.

You may also like this  

DISCLAIMER : If you have any concerns regarding this press release, please contact the Author / Media Contact / Business of this press release. ePRNews is not resposible for the accuracy of the news posted and do not endorse, support any product/services/business mentioned and hereby disclaims any content contained in this press release.

Login

Or using ePRNews Account

Don't have an account ? Sign Up

Register New Account

Or form here

Already have an account ? Login

Reset Password

Already have an account ? Login