Making your products more Reliable, Safe and Secure

Using Abstractions for Effective Formal: Lessons from the Trenches

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!

2016-06-29T09:12:35+00:0029th June, 2016|Active Event, Blog, Events|