Sven Beyer of OneSpin Solutions recently spoke on “Formal verification of a Hardware Unit” at the TVS webinar on “Achieving Safety and Security in HW/SW”.

The recording and slides are now available here.