17 April, 2019

Crowne Plaza Hotel Century Park, Shanghai, China

Event Details

MP Associates, Inc.
WEDNESDAY April 17, 2:15pm - 3:15pm | Pudong
Applications of Sequential Equivalence Checking
Alex Wan -
David Zhang -
Mike Bartley -
Srinivasan Venkataramanan -
Case Study to understand the bug hunter of Sequential  equivalence checking technology

6.1Observability Analysis of Faults Using Sequential Equivalence Checking
Although mutation coverage can point out weakness in the verification environment, the task of analyzing the effect of these non-detected faults and what corrective action to take can be daunting, especially when there are numerous of faults. In this paper, the authors wish to share their experiences in how they applied non-detected faults observability analysis using sequential equivalence checking on 5 real designs and found it useful in saving us time and efforts in the verification signoff process.
 Speaker: Penny Yang - Synopsys Taiwan Co., Ltd.
 Authors: Penny Yang - Synopsys Taiwan Co., Ltd.
Sean Chou - MediaTek, Inc.
Sandeep Jana - Synopsys India Pvt. Ltd.
Yuya Kao - MediaTek, Inc.
6.2Applications of Sequential Logic Equivalence Checking
Sequential Logic Equivalence Checking verifies functional equivalence between two designs. SLEC is different from old Logic Equivalence Checking. The differences between SLEC and LEC are discussed. SLEC has lots of applications and this paper will cover most common usages of SLEC, such as verifying low power clock gating doesn’t break any functions, design behaves the same after optimization, bug fixes/ECO haven’t injected new bugs, safety mechanism can detect and fix random errors, backward compatibility, and some creative ways to use SLEC. We will provide tricks on how to use SLEC efficiently and improve SLEC convergence rate.
 Speaker: Jin Hou - Mentor, A Siemens Business
 Authors: Jin Hou - Mentor, A Siemens Business
Ping Yeung - Mentor, A Siemens Business