Patents by Inventor Catherine E. Graves

Catherine E. Graves 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).

  • Enhanced k-SAT solver using analog content addressable memory
    Patent number: 11899965
    Abstract: A system for facilitating an enhanced k-SAT solver is provided. The system can include a set of analog content addressable memory (aCAM) modules that can represent an expression in a conjunctive normal form (CNF), wherein a respective aCAM module corresponds to a clause of the expression. The system can also include a set of data lines that can provide input candidate values to the set of aCAM modules. A controller of the system can program the set of aCAM modules with respective analog values to represent the expression. The system can also include sensing logic block to determine a distance of a current solution from a target solution based on a combination of respective outputs from the set of aCAM modules. The controller can then iteratively modify an input value for a subset of data lines until the current solution converges based on a convergence condition.
    Type: Grant
    Filed: March 10, 2022
    Date of Patent: February 13, 2024
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: Giacomo Pedretti, John Paul Strachan, Thomas Maurits M. Van Vaerenbergh, Catherine E. Graves
  • ENHANCED k-SAT SOLVER USING ANALOG CONTENT ADDRESSABLE MEMORY
    Publication number: 20230289090
    Abstract: A system for facilitating an enhanced k-SAT solver is provided. The system can include a set of analog content addressable memory (aCAM) modules that can represent an expression in a conjunctive normal form (CNF), wherein a respective aCAM module corresponds to a clause of the expression. The system can also include a set of data lines that can provide input candidate values to the set of aCAM modules. A controller of the system can program the set of aCAM modules with respective analog values to represent the expression. The system can also include sensing logic block to determine a distance of a current solution from a target solution based on a combination of respective outputs from the set of aCAM modules. The controller can then iteratively modify an input value for a subset of data lines until the current solution converges based on a convergence condition.
    Type: Application
    Filed: March 10, 2022
    Publication date: September 14, 2023
    Inventors: Giacomo Pedretti, John Paul Strachan, Thomas Maurits M. Van Vaerenbergh, Catherine E. Graves