Speaker : Ankit Saxena
Affiliation : Marvel Technology, Pune
Abstract : I will be talking about
1). Why formal verification is essential in today's world
2). Usage of formal verification at different levels of design cycle
3). Challenges of using formal verification and how to overcome those 4). Limitations of formal verification
Bio: Ankit Saxena has been working on the design and verification of semiconductor circuits for over a decade. He is currently a Principal Formal Verification Engineer at Marvell Technology. He received a B.Tech. in Electrical Engineering from the Indian Institute of Technology, Kanpur in 2009.
