Dr. Ashish Darbari, Principal Hardware Design Engineer of Imagination, recently spoke on how to use abstractions in verifying a range of different IP blocks at the Formal Verification Conference on 16 June 2016.

The Presentation Slides and Recordings of formal are available now!