Welcome to InFormal Chat

Posted by Kiran Vittal on June 2, 2017

We are very excited to launch a series of fun blogs from our distinguished team of formal verification experts. These blogs will share exciting and insightful information about the latest advancements and practical applications for formal property verification solutions used by the design and verification community.

Business man working at a laptop in hammock on the beach, he is a freelancer. Thailand, Samui.

Stay tuned to the exciting blogs for more information on using the latest techniques in formal with advanced engines, machine learning, artificial intelligence and easy to use apps on tackling today’s SoC design and verification challenges.

Share and Enjoy: