Hardware Trojan horse detection method based on LUT behavior analysis

Abstract

The invention discloses a hardware Trojan horse detection method based on LUT behavior analysis, and the method comprises the following steps: inputting a design code of a detected integrated circuit in the form of a register transfer-level code or a gate-level netlist, and then synthesizing the design of the integrated circuit into a netlist realized based on an FPGA based on a synthesis tool; then, at different simulation times, carrying out the random input function simulation on the generated FPGA netlist, and storing the signal behavior lists at different simulation times; analyzing the signal behavior list to obtain a low-upset-rate signal list at different simulation times; finally, based on the signal behavior list and the FPGA netlist, performing LUT address line coverage rate analysis to obtain a low-coverage-rate LUT list; and when the low flipping rate signal list and the low coverage rate LUT list converge to a fixed set, determining a hardware Trojan trigger signal and trigger logic in the detected integrated circuit design. The method can solve potential safety hazards in the early stage of integrated circuit design, and has unique advantages in the aspect of irrelevant item Trojan horse detection.

Description

technical field [0001] The invention belongs to the technical field of integrated circuits, and in particular relates to a hardware Trojan horse detection method. Background technique [0002] With the increase of integrated circuit design scale, system-on-chip (SoC, System-on-Chip) design usually uses a large number of intellectual property (IP, Intellectual Property) cores provided by untrusted third parties to improve product development speed. Reduce design cost. Malicious design modifications and backdoors that are not disclosed outside the design specification may be hidden in these IP cores. Malicious design modifications in integrated circuit designs introduced by untrusted third parties are called hardware Trojans. Hardware Trojans are usually activated only under specific conditions, and it is difficult to detect hardware Trojans based on integrated circuit functional testing methods. Attackers can activate the Trojan horse through specific input vectors, side c...

AI Technical Summary

Problems solved by technology

Existing detection methods are difficult to detect hardware Trojan horses using external or internal irrelevant items in the integrated circuit design space

Images