Conference:FV2016 (click here to see full programme)
Speaker:Asa Ben-Tzur, Formal R&D Software Engineering Group Director
Presentation Title:Deep State Space Bug Hunting
Abstract:Formal Verification is widely used in hardware verification. This talk will describe a formal verification method for finding high complexity bugs, hiding deep in design state space, namely deep bug hunting. The talk will describe how deep bug hunting complements other formal verification and simulation based methods. The talk will describe when to apply deep bug hunting in the verification project cycle and describe results achieved by cadence customers applying this method.
Speaker Bio:Asa got his engineering degree in computer science and electrical engineering from Technion, Haifa in 1995. Asa worked 14 years at Intel during which he was involved in post-Si verification, managed the formal verification framework and debug team and established the architectural and system level test generation group. After leaving Intel Asa managed the R&D for Bioness developing medical applications for functional neuro-stimulation. Asa Joined Jasper in 2010 and is now a software engineering group director responsible for JasperGold formal engines, BPS app and JasperGold expert system.

View the Presentation Material: