Prof. Ashish Darbari of Imagination Technology recently Spoke on “The Ten Myths about Formal” at the Formal Verification Conference.

The presentation slides are now available here.