Research On Hadwarre Trojan Detection Through Test Set Optimization

Hardware Trojan is the malicious circuit module that is added during the design or manufacturing process of an integrated circuit.Hardware Trojan have the characteristics of Strong concealment,complex functions and easy control.The variety of the insertion stage and methods make it difficult to detect effectively.This paper first studies the hardware Trojan type and its working principle,determines that the detection object in this paper is the internally activated combined functional hardware Trojan.Secondly,the relative merits and applicable scope of several common hardware Trojan detection methods are analyzed.Among this methods,the logic test method is selected as the basis.In order to solve the problem that hardware Trojan is hard to detection,two hardware Trojan detection methods based on test vector optimization are proposed to improve the number and success rate of hardware Trojan detection.This paper first proposes a hardware Trojan detection method based on test vector compression.Analyzing disadvantage of N-detection test set generation and maturity of the single detection test set generation,the original test set that consisting of several single test sets is used as the compression target to generate N-detection test set.Consequently,The N-detection test set generation problem is combined with the integer linear programing model.Based on the model,the original test set is optimized by using the unrelated bit extension and test set compression.The number of detections of the undetectable fault caused by hardware Trojan is improved by N-detection test set,therefore,the efficiency of hardware Trojan detection is also improved.Secondly,this paper proposes a hardware Trojan detection based on optimization parameter.Analyzing the correlation between input signal of the circuit under test and hardware Trojan control signal,this paper introduce relevant parameters include control parameter and input parameter,verify the relationship between the test set generation and the parameter mathematically.To make test set have a high coverage with hardware Trojan control sequence,this paper design a new test set generation algorithm combining with two parameters.The algorithm can generate a small test set with high efficiency for hardware Trojan detection,In this paper,two simple combined hardware Trojan circuits are designed.The ISCAS'85 reference circuit is used as a hardware Trojan detection platform for the experimental objects.The two optimized test sets are simulated and compared.The experimental results show that compared with the commonly used Automatic Test Pattern Generation technology,the two detection methods proposed in this paper can improve the number and success rate of hardware Trojan detection,especially with strong concealment hardware Trojan.Additionally,the methods also ensure a smaller test set size and a shorter test set generation time than traditional test generation tool.