Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT

Jim Geist, Travis Meade, Shaojie Zhang +1

Finite state machines (FSM's) are implemented with sequential circuits and are used to orchestrate the operation of hardware designs. Sequential obfuscation schemes aimed at preven…