Cadence Design Systems, Inc.

Debjyoti Paul

Chih-Chang Lin

Tao Feng

Kei-Yong Khoo

A system, method, computer program, and article of manufacture for generating a golden circuit including datapath components for equivalence checking of synthesized revised circuit. The method includes generating a set of static, dynamic and derived candidates for the datapath component subcircuit, evaluating the similarity degree for each candidate in relation to the revised circuits and selecting one candidate for implementation in the golden circuit. As a result, the subcircuit of datapath component in the golden circuit is replaced with the subcircuit which is more similar to the revised circuit to improve the efficiency of the equivalence checking.

Growing community of inventors

Santa Clara, CA, United States of America

Debjyoti Paul