An RTL hardware Trojan detection method based on the recursive descent algorithm

Abstract

The invention relates to an RTL hardware Trojan detection method based on the recursive descent algorithm. The detection method is characterized by designing RTL code rules according to a Trojan model, appointing word types including module declaration words, module end declaration words, signal declaration words, logic function block declaration words, middle words and closing words, and analyzing RTL files by using the recursive descent algorithm to find Trojan modules meeting the rules. The detection method is aimed at specific types of RTL code level hardware Trojans; compared with conventional method of detecting hardware Trojans on chips, the detection method shortens experiment time greatly, can detect RTL code level hardware Trojans effectively and rapidly and locate Trojans accurately, and increases working efficiency.

Description

technical field [0001] The invention relates to the technical field of RTL-level code security analysis, in particular to an RTL-level hardware Trojan horse detection method based on a recursive descent algorithm. Background technique [0002] Incidents such as "Snowden Prism Gate" and "Iran Stuxnet" in recent years have shown that hardware Trojan horses in integrated circuits can be used as a weapon to carry out information warfare, network warfare, and even physically destroy military equipment and key facilities, seriously threatening national security. With the increasingly complex design of integrated circuits and high manufacturing costs, the integrated circuit industry is developing towards global cooperation. For a long period of time in the future, integrated circuits will still face numerous and uncontrollable first Three-party IP, foreign EDA software, and the threat of uncontrollable wafer manufacturing. In these links, integrated circuits are likely to be modi...

AI Technical Summary

Problems solved by technology

However, the research on code security at the RTL level or gate level is basically blank. Therefore, for the above-mentioned design defects, the security path verification technology is carried out to detect whether there are illegal external access in the RTL code, and whether it does not meet the definition of security rules. It is feasible and practical to ensure that the RTL code does not contain such a hidden path that can leak the confidential information inside the circuit.

Images