公开(公告)号：US10929764B2

公开(公告)日：2021-02-23

申请号：US15692985

申请日：2017-08-31

Applicant: Micron Technology, Inc.

Inventor： Matthew T. Grimm ,  Jeffery M. Tanner

IPC: G06N5/04 ,  G06N5/00

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.

公开(公告)号：US20180114131A1

公开(公告)日：2018-04-26

申请号：US15692985

申请日：2017-08-31

Applicant: Micron Technology, Inc.

Inventor： Matthew T. Grimm ,  Jeffery M. Tanner

IPC: G06N5/04

CPC classification number: G06N5/047 ,  G06N5/003

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.