Patents by Inventor Pronay Kumar Biswas

Pronay Kumar Biswas 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).

  • System and method for netlist clock domain crossing verification
    Patent number: 9721057
    Abstract: A system and method for netlist clock domain crossing verification leverages RTL clock domain crossing (CDC) verification data and results. The netlist clock domain crossing verification system (NCDC) migrates RTL-level constraints and waivers to the netlist design so that the user does not have to re-enter them. The NCDC checks the netlist and generates a report that compares RTL-level CDC checking results to the netlist-level CDC checking results to make it easy to see new issues. The NCDC receives and stores netlist corrections from user input or automatically corrects certain CDC violations, in the netlist.
    Type: Grant
    Filed: July 2, 2015
    Date of Patent: August 1, 2017
    Assignee: Synopsys, Inc.
    Inventors: Malay Ganai, Mohamed Shaker Sarwary, Maher Mneimneh, Paras Mal Jain, Mohammad Homayoun Movahed-Ezazi, Pronay Kumar Biswas, Nishant Gupta
  • SYSTEM AND METHOD FOR NETLIST CLOCK DOMAIN CROSSING VERIFICATION
    Publication number: 20160259879
    Abstract: A system and method for netlist clock domain crossing verification leverages RTL clock domain crossing (CDC) verification data and results. The netlist clock domain crossing verification system (NCDC) migrates RTL-level constraints and waivers to the netlist design so that the user does not have to re-enter them. The NCDC checks the netlist and generates a report that compares RTL-level CDC checking results to the netlist-level CDC checking results to make it easy to see new issues. The NCDC receives and stores netlist corrections from user input or automatically corrects certain CDC violations, in the netlist.
    Type: Application
    Filed: July 2, 2015
    Publication date: September 8, 2016
    Applicant: Synopsys, Inc.
    Inventors: Malay Ganai, Mohamed Shaker Sarwary, Maher Mneimneh, Paras Mal Jain, Mohammad Homayoun Movahed-Ezazi, Pronay Kumar Biswas, Nishant Gupta