March 2-5, 2020

DoubleTree Hotel, San Jose, CA

MP Associates, Inc.

WEDNESDAY February 28, 3:00pm - 4:30pm | Fir

Safety-Critical Verification
Clifford Cummings - Sunburst Design, Inc.
Using automation and advanced techniques to meet safety requirements.

12.1Whose Fault Is It Formally? Formal Techniques for Optimizing ISO 26262 Fault Analysis
 Speaker: Ping Yeung - Mentor, A Siemens Business
 Authors: Ping Yeung - Mentor, A Siemens Business
Doug Smith - Mentor, A Siemens Business
Abdelouahab Ayari - Mentor, A Siemens Business
12.2Using Automation to Close the Loop Between Functional Requirements and Their Verification
 Speaker: Brian Craw - Cypress Semiconductor Corp.
 Authors: Brian Craw - Cypress Semiconductor Corp.
David Crutchfield - Cypress Semiconductor Corp.
Martin Oberkoenig - Cypress Semiconductor Corp.
Markus Heigl - Cypress Semiconductor Corp.
Martin O'Keeffe - Cypress Semiconductor Corp.
12.3Error Injection in a Subsystem Level Constrained Random UVM Testbench
 Speaker: Jeremy Ridgeway - Broadcom Corp.
 Authors: Jeremy Ridgeway - Broadcom Corp.
Hoe Nguyen - Broadcom Corp.