US Patent Issued to Battelle Memorial Institute on Feb. 24 for "Finite state machine vulnerability and pipeline analysis using satisfiability modeling" (Ohio Inventors)

ALEXANDRIA, Va., Feb. 24 -- United States Patent no. 12,561,502, issued on Feb. 24, was assigned to Battelle Memorial Institute (Columbus, Ohio).

"Finite state machine vulnerability and pipeline analysis using satisfiability modeling" was invented by Katie T. Liszewski (Powell, Ohio) and Timothy A. McDonley (Grove City, Ohio).

According to the abstract* released by the U.S. Patent & Trademark Office: "The present disclosure provides a satisfiability modulo theory (SMT) modeling system that includes graphical representation circuitry to generate graphical data representing a circuit design; finite state machine (FSM) discovery circuitry to discover, based on a feedback loop of the circuit design, an FSM contained within the graphical data;...