Cracking method of integrated circuit encrypted circuit state machine

The invention belongs to the technical field of integrated circuits, and discloses a cracking method of an integrated circuit encrypted circuit state machine, which comprises the following steps of: 1, applying excitation to a netlist, and extracting information; 2, regarding a process of solving a secret key as a process of state machine reconstruction, and converting the problem into a constraint programming problem; and 3, if the number of the keys obtained by the CP-SAT solver is 1, the attack is ended, and a unique correct key is obtained, otherwise, Synopsys VC Formal SEQ Application is used for carrying out time sequence equivalence check, and wrong keys are further eliminated in combination with Oracles until the unique correct key or a plurality of equivalent keys are obtained. The attack duration mainly depends on the scale of the state machine and the inherent jump relation in the state machine, the attack time is short, and the efficiency is high. 本发明属于集成电路技术领域，公开了一种集成电路加密电路状态机的破解方法，包括步骤1：对网表施加激励，