Patents by Inventor Aditya Daga

Aditya Daga 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).

  • Automatic root cause analysis of complex static violations by static information repository exploration
    Patent number: 11556406
    Abstract: The independent claims of this patent signify a concise description of embodiments. An automatic process for determining and/or predicting the original root-cause(s) of a violation is proposed using two major enhancements on top of the current VC-Static solution. First, an information repository is created by mining various Static checker components' analysis information, and second, an analysis framework is created which systematically prunes the above-mentioned information repository to find the actual root cause(s) of the violation. This Abstract is not intended to limit the scope of the claims.
    Type: Grant
    Filed: December 2, 2019
    Date of Patent: January 17, 2023
    Assignee: Synopsys, Inc.
    Inventors: Aditya Daga, Sauresh Bhowmick, Bhaskar Pal, Rajarshi Mukherjee
  • Automatic Root Cause Analysis of Complex Static Violations by Static Information Repository Exploration
    Publication number: 20200174871
    Abstract: The independent claims of this patent signify a concise description of embodiments. An automatic process for determining and/or predicting the original root-cause(s) of a violation is proposed using two major enhancements on top of the current VC-Static solution. First, an information repository is created by mining various Static checker components' analysis information, and second, an analysis framework is created which systematically prunes the above-mentioned information repository to find the actual root cause(s) of the violation. This Abstract is not intended to limit the scope of the claims.
    Type: Application
    Filed: December 2, 2019
    Publication date: June 4, 2020
    Inventors: Aditya Daga, Sauresh Bhowmick, Bhaskar Pal, Rajarshi Mukherjee