March 2-5, 2020

DoubleTree Hotel, San Jose, CA

MP Associates, Inc.

WEDNESDAY March 02, 3:00pm - 4:30pm | Fir
EVENT TYPE: REGULAR SESSION

SESSION 12
Formal Techniques
Chair:
Sean Safarpour - Synopsys, Inc.

12.1Automated Safety Verification for Automotive Microcontrollers
 Speaker: Holger Busch - Infineon Technologies AG
 Author: Holger Busch - Infineon Technologies AG
12.2The Process and Proof for Formal Sign-Off - A Live Case Study
 Speaker: Prashant Aggarwal - Oski Technology, Inc.
 Authors: Ipshita Tripathi - Oski Technology, Inc.
Ankit Saxena - Oski Technology, Inc.
Anant Verma - Oski Technology, Inc.
Prashant Aggarwal - Oski Technology, Inc.
12.3Do You Know What Your Assertions Are Up To? A New Approach to Safety Critical Verification
 Speaker: Lee C. Smith - Rockwell Collins, Inc.
 Author: Lee C. Smith - Rockwell Collins, Inc.