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.
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.
Our global team of experts share their insights about the latest technologies, trends, and solutions in formal verification.