Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-offTM!
11:30 AM Welcome, Lunch and Networking
1:00 PM “Verifying Datapath for an AMD Processor” Ankit Saxena, Oski-joint
work with S.Gurumurthy (AMD), F. Rahman (AMD), A. Prasad (Oski)
2:00 PM “Mutation and Proof Core: Two Sides of the Same Coin”
Mandar Munishwar, Qualcomm
3:00 PM “Formal Verification for Networking Blocks”
Vigyan Singhal, CEO, Oski
4:00 PM Closing
pre-registration is required (registration link) .