Patents by Inventor Pankaj Chauhan

Pankaj Chauhan 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).

  • 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
  • Method and system for disrupting undesirable wireless communication of devices in computer networks
    Patent number: 7558253
    Abstract: A method for disrupting unauthorized communications between at least two communication devices is provided. The method comprises using an address resolution protocol (ARP) to redirect transfer of data that occurs using unauthorized wireless communication between a first wireless device and a second wireless device. In a preferred embodiment, the method maintains a layer two wireless link while the data are being redirected.
    Type: Grant
    Filed: November 2, 2007
    Date of Patent: July 7, 2009
    Assignee: AirTight Networks, Inc.
    Inventors: Jai Rawat, Krishnamurthy Nagabhushan Gopinath, Pankaj Chauhan
  • Method and system for disrupting undesirable wireless communication of devices in computer networks
    Patent number: 7333481
    Abstract: A method for disrupting unauthorized communications between at least two communication devices is provided. The method comprises using an address resolution protocol (ARP) to redirect transfer of data that occurs using unauthorized wireless communication between a first wireless device and a second wireless device. In a preferred embodiment, the method maintains a layer two wireless link while the data are being redirected.
    Type: Grant
    Filed: January 11, 2006
    Date of Patent: February 19, 2008
    Assignee: AirTight Networks, Inc.
    Inventors: Jai Rawat, Krishnamurthy Nagabhushan Gopinath, Pankaj Chauhan