Patents by Inventor Pritam Roy

Pritam Roy 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).

  • AUTO-DETECTION OF FAVORABLE AND UNFAVORABLE OUTLIERS USING UNSUPERVISED CLUSTERING
    Publication number: 20220300752
    Abstract: Methods, systems, and articles of manufacture, including computer program products, are provided for auto-detection of favorable outliers and unfavorable outliers using unsupervised clustering.
    Type: Application
    Filed: March 16, 2021
    Publication date: September 22, 2022
    Inventors: Pritam Roy, Avinash Permude, Nithya Rajagopalan
  • Concolic equivalence checking
    Patent number: 11017139
    Abstract: This application discloses a computing system to select a set of one or more values for control signals internal to multiple circuit designs, generate input stimulus for the circuit designs based, at least in part, on the selected set of values for the control signals, and simulate the circuit designs with the input stimulus, which configures the simulated values of the control signals internal to the circuits designs to the selected set of values. The computing system can perform an equivalence check on the circuit designs using results of the simulation. The computing system can select another set of values for the control signals, and determine that at least the other set of values for the control signals are not realizable during simulation with any input stimulus.
    Type: Grant
    Filed: March 24, 2020
    Date of Patent: May 25, 2021
    Assignee: Siemens Industry Software Inc.
    Inventors: Pritam Roy, Sagar Chaki, Pankaj Chauhan