Patents by Inventor Debjyoti Paul

Debjyoti Paul has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method and system for selection and replacement of subcircuits in equivalence checking
    Patent number: 7373618
    Abstract: 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.
    Type: Grant
    Filed: November 10, 2005
    Date of Patent: May 13, 2008
    Assignee: Cadence Design Systems, Inc.
    Inventors: Kei-Yong Khoo, Tao Feng, Debjyoti Paul, Chih-Chang Lin