GM

May 22, 2017

Introducing Doc Formal: the journey so far

Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.

Expert Insight | Topics: EDA - Verification | Tags: AI, fault injection, formal methods, formal property verification, formal verification, machine learning, model checking symbolic trajectory evaluation, PowerVR, SAT solvers | Organizations: ARM, GM, Imagination Technologies, Intel, OneSpin Solutions, University of Southampton