TUESDAY February 27, 6:00pm - 8:00pm | Oak/Fir
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.
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
Please note: DVCon Conference Badge required for entrance.