March 2-5, 2020

DoubleTree Hotel, San Jose, CA

MP Associates, Inc.

WEDNESDAY March 04, 2:30pm - 4:30pm | Oak
EVENT TYPE: REGULAR SESSION

SESSION 11
Formal and Semi-Formal Techniques
Chair:
Erik Seligman - Intel Corp.

11.1Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques
 Speaker: Sven Beyer - OneSpin Solutions GmbH
 Authors: Dominik Strasser - OneSpin Solutions GmbH
Sven Beyer - OneSpin Solutions GmbH
11.2Automatic Generation of Formal Properties for Clock Gating Related Logic
 Speaker: Shan Yan - Broadcom Corp.
 Authors: Shuqing Zhao - Broadcom Corp.
Shan Yan - Broadcom Corp.
11.3Every Cloud - Post-Silicon Bug Spurs Formal Verification Adoption
 Speaker: Mark Eslinger - Mentor, A Siemens Business
 Authors: Blaine Hsieh - Faraday Technology Corp.
Stewart Li - Mentor, A Siemens Business
Mark Eslinger - Mentor, A Siemens Business
11.4Double the Return From Your Property Portfolio: Reuse of Verification Assets From Formal to Simulation
 Speaker: Jonathan Bromley - Verilab, Inc.
 Author: Jonathan Bromley - Verilab, Inc.