Asa Ben-Tzur, Formal R&D Software Engineering Group Director at Cadence, presented on how a formal verification method is used for finding high complexity bugs, hiding deep in design state space, namely deep bug hunting and described how deep bug hunting complements other formal verification and simulation based methods at the Formal Verification Conference which took place on 16 June 2016.

You can view the Presentation Slides and Recordings here