Patents by Inventor Deep Shah
Deep Shah 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).
-
Patent number: 11907631Abstract: Reset Domain Crossing (RDC) detection and simulation is provided via identifying a plurality of RDCs between flip-flops of a sequence of flip-flops leading to an observation point in a circuit design; classifying each RDC of the plurality of RDCs as one of observable at the observation point or not observable at the observation point based on a reset order applied to the sequence of flip-flops; and outputting a list of the plurality of RDCs classified as observable at the observation point.Type: GrantFiled: September 21, 2021Date of Patent: February 20, 2024Assignee: Synopsys, Inc.Inventors: Fahim Rahim, Paras Mal Jain, Rajarshi Mukherjee, Deep Shah, Satrajit Pal, Dipit Ranjan Senapati, Abhishek Kumar
-
Publication number: 20230394385Abstract: Systems and methods of the inventive subject matter are directed to route optimization that takes sales ratings into consideration. In some embodiments, users can request one of two different route types, a sales route or an optimized route. A sales route allows the user to hand pick waypoints to be visited, and the platform server then generates a route that visits all those waypoints. The route accounts for sales ratings that the user has assigned to each waypoint, as well as times and distances between each waypoint. An optimized route selects waypoints based on previously assigned sales ratings and then generates a route for the user, where the route similarly accounts for sales ratings as well as times and distances between each waypoint. Genetic algorithm techniques can be used to converge on high performing routes.Type: ApplicationFiled: June 1, 2022Publication date: December 7, 2023Inventors: Spencer Kern Kelleher, Anuj Sahni, Deep Shah
-
Publication number: 20230082141Abstract: Techniques for supporting invocations of the RDTSC (Read Time-Stamp Counter) instruction, or equivalents thereof, by guest program code running within a virtual machine (VM), including guest program code running within a secure hardware enclave of the VM, are provided. In one set of embodiments, a hypervisor can activate time virtualization heuristics for the VM, where the time virtualization heuristics cause accelerated delivery of system clock timer interrupts to a guest operating system (OS) of the VM. The hypervisor can further determine a scaling factor to be applied to timestamps generated by one or more physical CPUs, where the timestamps are generated in response to invocations of a CPU instruction made by guest program code running within the VM, and where the scaling factor is based on the activated time virtualization heuristics. The hypervisor can then program the scaling factor into the one or more physical CPUs.Type: ApplicationFiled: October 18, 2022Publication date: March 16, 2023Inventors: VIVEK MOHAN THAMPI, ALOK NEMCHAND KATARIA, MARTIM CARBONE, DEEP SHAH
-
Patent number: 11507415Abstract: Techniques for supporting invocations of the RDTSC (Read Time-Stamp Counter) instruction, or equivalents thereof, by guest program code running within a virtual machine (VM), including guest program code running within a secure hardware enclave of the VM, are provided. In one set of embodiments, a hypervisor can activate time virtualization heuristics for the VM, where the time virtualization heuristics cause accelerated delivery of system clock timer interrupts to a guest operating system (OS) of the VM. The hypervisor can further determine a scaling factor to be applied to timestamps generated by one or more physical CPUs, where the timestamps are generated in response to invocations of a CPU instruction made by guest program code running within the VM, and where the scaling factor is based on the activated time virtualization heuristics. The hypervisor can then program the scaling factor into the one or more physical CPUs.Type: GrantFiled: March 18, 2020Date of Patent: November 22, 2022Assignee: VMWARE, INC.Inventors: Vivek Mohan Thampi, Alok Nemchand Kataria, Martim Carbone, Deep Shah
-
Patent number: 11327782Abstract: The present disclosure provides an approach for migrating the contents of an enclave, together with a virtual machine comprising the enclave, from a source host to a destination host. The approach provides a technique that allows the contents of the enclave to remain secure during the migration process, and also allows the destination host to decrypt the contents of the enclave upon receiving the contents and upon receiving the VM that includes the enclave. The approach allows for the VM to continue execution on the destination host. The enclave retains its state from source host to destination host. Applications using the enclave in the source host are able to continue using the enclave on the destination host using the data migrated from the source host to the destination host.Type: GrantFiled: September 5, 2019Date of Patent: May 10, 2022Assignee: VMware, Inc.Inventors: Alok Nemchand Kataria, Martim Carbone, Deep Shah
-
Publication number: 20220092244Abstract: Reset Domain Crossing (RDC) detection and simulation is provided via identifying a plurality of RDCs between flip-flops of a sequence of flip-flops leading to an observation point in a circuit design; classifying each RDC of the plurality of RDCs as one of observable at the observation point or not observable at the observation point based on a reset order applied to the sequence of flip-flops; and outputting a list of the plurality of RDCs classified as observable at the observation point.Type: ApplicationFiled: September 21, 2021Publication date: March 24, 2022Inventors: Fahim RAHIM, Paras Mal JAIN, Rajarshi MUKHERJEE, Deep SHAH, Satrajit PAL, Dipit Ranjan SENAPATI, Abhishek KUMAR
-
Publication number: 20220016405Abstract: Implantable physiological shunt systems and related fluid flow control devices and accessories for use therewith. Devices, systems and methods relating to implantable medical fluid flow control devices, rotors and magnets with increased resistance to inadvertent setting changes. Devices, systems and methods relating implantable medical fluid flow control devices, rotors and magnets which provide improved magnetic coupling to fluid flow control device accessories such as adjustment tools.Type: ApplicationFiled: September 30, 2021Publication date: January 20, 2022Applicant: MEDTRONIC XOMED, INC.Inventors: W. Jeff Bertrand, Lori Speckman, Manfred Karl Luedi, Chun Man Alan Leung, Lawrence Hampton, Deep Shah
-
Patent number: 11178105Abstract: Techniques for implementing a secure enclave-based guest firewall are provided. In one set of embodiments, a host system can load a policy enforcer for a firewall into a secure enclave of a virtual machine (VM) running on the host system, where the secure enclave corresponds to a region of memory in the VM's guest memory address space that is inaccessible by processes running in other regions of the guest memory address space (including privileged processes that are part of the VM's guest operating system (OS) kernel). The policy enforcer can then, while running within the secure enclave: (1) obtain one or more security policies from a policy manager for the firewall, (2) determine that an event has occurred pertaining to a new or existing network connection between the VM and another machine, and (3) apply the one or more security policies to the network connection.Type: GrantFiled: June 17, 2019Date of Patent: November 16, 2021Assignee: VMWARE, INC.Inventors: Shirish Vijayvargiya, Alok Nemchand Kataria, Deep Shah
-
Patent number: 11170077Abstract: Techniques for verifying the integrity of application data using secure hardware enclaves are provided. In one set of embodiments, a client system can create a secure hardware enclave on the client system and load program code for an integrity verifier into the secure hardware enclave. The client system can further receive a dataset from a server system and store the dataset at a local storage or memory location, and receive, via the integrity verifier, a cryptographic hash of the dataset from the server system and store the received cryptographic hash at a memory location within the secure hardware enclave. Then, on a periodic basis, the integrity verifier can compute a cryptographic hash of the stored dataset, compare the computed cryptographic hash against the stored cryptographic hash, and if the computed cryptographic hash does not match the stored cryptographic hash, determine that the stored dataset has been modified.Type: GrantFiled: March 8, 2019Date of Patent: November 9, 2021Assignee: VMWARE, INC.Inventors: Alok Nemchand Kataria, Achindra Bhatnagar, Sachin Shinde, Martim Carbone, Deep Shah
-
Patent number: 11167117Abstract: Implantable physiological shunt systems and related fluid flow control devices and accessories for use therewith. Devices, systems and methods relating to implantable medical fluid flow control devices, rotors and magnets with increased resistance to inadvertent setting changes. Devices, systems and methods relating implantable medical fluid flow control devices, rotors and magnets which provide improved magnetic coupling to fluid flow control device accessories such as adjustment tools.Type: GrantFiled: July 19, 2019Date of Patent: November 9, 2021Assignee: Medtronic Xomed, Inc.Inventors: W. Jeff Bertrand, Lori Speckman, Manfred Karl Luedi, Chun Man Alan Leung, Lawrence Hampton, Deep Shah
-
Publication number: 20210216357Abstract: Techniques for supporting invocations of the RDTSC (Read Time-Stamp Counter) instruction, or equivalents thereof, by guest program code running within a virtual machine (VM), including guest program code running within a secure hardware enclave of the VM, are provided. In one set of embodiments, a hypervisor can activate time virtualization heuristics for the VM, where the time virtualization heuristics cause accelerated delivery of system clock timer interrupts to a guest operating system (OS) of the VM. The hypervisor can further determine a scaling factor to be applied to timestamps generated by one or more physical CPUs, where the timestamps are generated in response to invocations of a CPU instruction made by guest program code running within the VM, and where the scaling factor is based on the activated time virtualization heuristics. The hypervisor can then program the scaling factor into the one or more physical CPUs.Type: ApplicationFiled: March 18, 2020Publication date: July 15, 2021Inventors: VIVEK MOHAN THAMPI, ALOK NEMCHAND KATARIA, MARTIM CARBONE, DEEP SHAH
-
Publication number: 20210019166Abstract: The present disclosure provides an approach for migrating the contents of an enclave, together with a virtual machine comprising the enclave, from a source host to a destination host. The approach provides a technique that allows the contents of the enclave to remain secure during the migration process, and also allows the destination host to decrypt the contents of the enclave upon receiving the contents and upon receiving the VM that includes the enclave. The approach allows for the VM to continue execution on the destination host. The enclave retains its state from source host to destination host. Applications using the enclave in the source host are able to continue using the enclave on the destination host using the data migrated from the source host to the destination host.Type: ApplicationFiled: September 5, 2019Publication date: January 21, 2021Inventors: ALOK NEMCHAND KATARIA, Martim Carbone, Deep Shah
-
Publication number: 20200344210Abstract: Techniques for implementing a secure enclave-based guest firewall are provided. In one set of embodiments, a host system can load a policy enforcer for a firewall into a secure enclave of a virtual machine (VM) running on the host system, where the secure enclave corresponds to a region of memory in the VM's guest memory address space that is inaccessible by processes running in other regions of the guest memory address space (including privileged processes that are part of the VM's guest operating system (OS) kernel). The policy enforcer can then, while running within the secure enclave: (1) obtain one or more security policies from a policy manager for the firewall, (2) determine that an event has occurred pertaining to a new or existing network connection between the VM and another machine, and (3) apply the one or more security policies to the network connection.Type: ApplicationFiled: June 17, 2019Publication date: October 29, 2020Inventors: SHIRISH VIJAYVARGIYA, ALOK NEMCHAND KATARIA, DEEP SHAH
-
Publication number: 20200218792Abstract: Techniques for verifying the integrity of application data using secure hardware enclaves are provided. In one set of embodiments, a client system can create a secure hardware enclave on the client system and load program code for an integrity verifier into the secure hardware enclave. The client system can further receive a dataset from a server system and store the dataset at a local storage or memory location, and receive, via the integrity verifier, a cryptographic hash of the dataset from the server system and store the received cryptographic hash at a memory location within the secure hardware enclave. Then, on a periodic basis, the integrity verifier can compute a cryptographic hash of the stored dataset, compare the computed cryptographic hash against the stored cryptographic hash, and if the computed cryptographic hash does not match the stored cryptographic hash, determine that the stored dataset has been modified.Type: ApplicationFiled: March 8, 2019Publication date: July 9, 2020Inventors: ALOK NEMCHAND KATARIA, Achindra Bhatnagar, Sachin Shinde, Martim Carbone, Deep Shah
-
Publication number: 20190336736Abstract: Implantable physiological shunt systems and related fluid flow control devices and accessories for use therewith. Devices, systems and methods relating to implantable medical fluid flow control devices, rotors and magnets with increased resistance to inadvertent setting changes. Devices, systems and methods relating implantable medical fluid flow control devices, rotors and magnets which provide improved magnetic coupling to fluid flow control device accessories such as adjustment tools.Type: ApplicationFiled: July 19, 2019Publication date: November 7, 2019Applicant: MEDTRONIC XOMED, INC.Inventors: W. Jeff Bertrand, Lori Speckman, Manfred Karl Luedi, Chun Man Alan Leung, Lawrence Hampton, Deep Shah
-
Patent number: 10369335Abstract: Implantable physiological shunt systems and related fluid flow control devices and accessories for use therewith. Devices, systems and methods relating to implantable medical fluid flow control devices, rotors and magnets with increased resistance to inadvertent setting changes. Devices, systems and methods relating implantable medical fluid flow control devices, rotors and magnets which provide improved magnetic coupling to fluid flow control device accessories such as adjustment tools.Type: GrantFiled: February 23, 2016Date of Patent: August 6, 2019Assignee: Medtronic Xomed, Inc.Inventors: W. Jeff Bertrand, Lori Speckman, Manfred Karl Luedi, Chun Man Alan Leung, Lawrence Hampton, Deep Shah
-
Patent number: 10289773Abstract: Information from a circuit design's unified power format (UPF) description is utilized to automate the management of reset domain crossings (RDCs). The UPF description is utilized to identify signals that generate both RDC and power domain crossings (PDCs), thereby allowing a circuit designer to efficiently utilize a common (shared) isolation circuit that functions to manage both the RDC (i.e., during reset functions) and the PDC (i.e., during power management functions). A modified UPF description is introduced that facilitates automated management of RDC issues by treating the reset domains as pseudo-power domains, and utilizing UPF analysis and verification tools to automatically generate both shared and non-shared resources for both RDC and PDC issues.Type: GrantFiled: June 26, 2017Date of Patent: May 14, 2019Assignee: Synopsys, Inc.Inventors: Deep Shah, Namit Gupta, Mohamed Shaker Sarwary
-
Publication number: 20180004876Abstract: Information from a circuit design's unified power format (UPF) description is utilized to automate the management of reset domain crossings (RDCs). The UPF description is utilized to identify signals that generate both RDC and power domain crossings (PDCs), thereby allowing a circuit designer to efficiently utilize a common (shared) isolation circuit that functions to manage both the RDC (i.e., during reset functions) and the PDC (i.e., during power management functions). A modified UPF description is introduced that facilitates automated management of RDC issues by treating the reset domains as pseudo-power domains, and utilizing UPF analysis and verification tools to automatically generate both shared and non-shared resources for both RDC and PDC issues.Type: ApplicationFiled: June 26, 2017Publication date: January 4, 2018Inventors: Deep Shah, Namit Gupta, Mohamed Shaker Sarwary
-
Patent number: 9427559Abstract: A centering tool and a combined centering-indicator tool for finding the magnetic center and indicating the setting of an implantable adjustable valve. The centering and combined centering-indicator tools include a magnetic capsule movable within a cavity to a target located on the tool when the magnetic capsule is centered over magnet of an adjustable valve.Type: GrantFiled: September 8, 2015Date of Patent: August 30, 2016Assignee: Medtronic Xomed, Inc.Inventors: Deep Shah, Tony Daniel Cepeda, Lori Speckman, W. Jeff Bertrand, Lawrence Hampton
-
Publication number: 20160166813Abstract: Implantable physiological shunt systems and related fluid flow control devices and accessories for use therewith. Devices, systems and methods relating to implantable medical fluid flow control devices, rotors and magnets with increased resistance to inadvertent setting changes. Devices, systems and methods relating implantable medical fluid flow control devices, rotors and magnets which provide improved magnetic coupling to fluid flow control device accessories such as adjustment tools.Type: ApplicationFiled: February 23, 2016Publication date: June 16, 2016Applicant: MEDTRONIC XOMED, INC.Inventors: W. Jeff Bertrand, Lori Speckman, Manfred Karl Luedi, Chun Man Alan Leung, Lawrence Hampton, Deep Shah