March 2-5, 2020

DoubleTree Hotel, San Jose, CA

MP Associates, Inc.

TUESDAY February 27, 6:00pm - 8:00pm | Oak/Fir
Conquering Formal Verification: Go Deep or Go Broad?
Sean Safarpour - Synopsys, Inc.

Successful users of formal verification often fall into one of two camps: The deep Property Verification advocates and the Broad Formal Apps advocates. In terms of impact on the verification cycle - reducing verification time/effort and finding more bugs - which approach has been most successful: doing deep verification with custom-written assertions often by formal experts OR the application of formal Apps such as Connectivity Checking, Unreachability Analysis or Register Verification to name a few. While going deep is often very powerful, it is limited to experts who can use is effectively. On the other hand, going broad can be used by thousands of engineers with minimal training, but the impact is limited to existing off-the-shelf applications. A panel of passionate verification engineers and managers join us to share their perspective of the most successful deployment of formal verification.

Evening Agenda:
6:00 – 6:30pm: Appetizers, drinks and socializing, + Formal Challenge
6:30 – 7:30pm: Panel 
7:30pm – Puzzle winner announcement
7:30 – 8pm: Dessert, drinks and socializing  


Erik Seligman - Intel Corp.
Mandar Munishwar - Qualcomm Technologies, Inc.
Shaun Feng - Samsung Semiconductor, Inc.
Ashish Darbari - Axiomise Ltd.

Please note: DVCon Conference Badge required for entrance.

Sponsored by: