Patents by Inventor Matthew T. Grimm

Matthew T. Grimm 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).

  • Boolean satisfiability
    Patent number: 10929764
    Abstract: An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a beginning of an input data stream until a point when an end of data signal is seen. The automaton may further be configured to report an event representative of a satisfaction of a Boolean clause of a conjunctive normal form (CNF) Boolean expression representative of a Boolean Satisfiability problem (SAT) by a portion of the input data stream.
    Type: Grant
    Filed: August 31, 2017
    Date of Patent: February 23, 2021
    Assignee: Micron Technology, Inc.
    Inventors: Matthew T. Grimm, Jeffery M. Tanner
  • BOOLEAN SATISFIABILITY
    Publication number: 20180114131
    Abstract: An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a beginning of an input data stream until a point when an end of data signal is seen. The automaton may further be configured to report an event representative of a satisfaction of a Boolean clause of a conjunctive normal form (CNF) Boolean expression representative of a Boolean Satisfiability problem (SAT) by a portion of the input data stream.
    Type: Application
    Filed: August 31, 2017
    Publication date: April 26, 2018
    Inventors: Matthew T. Grimm, Jeffery M. Tanner