Method for shortening verification time of hardware Trojan in integrated circuit test

A technology for integrated circuits and hardware Trojans, applied in the field of special structures for hardware Trojan detection, can solve problems such as long test cycles, and achieve the effects of high cost, improved detection efficiency, and low efficiency

Active Publication Date: 2013-01-02
TIANJIN UNIV
View PDF3 Cites 27 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This detection method can effectively detect some hardware Trojans, but this method of traversing the test vector will make the test cycle too long (see: (1) R.S.Chakraborty; S.Bhunia; "Security against Hardware Trojan through a Novel Application of Design Obfuscation", IEEE/ACM International Conference on Computer-Aided Design 2009 Page(s

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for shortening verification time of hardware Trojan in integrated circuit test
  • Method for shortening verification time of hardware Trojan in integrated circuit test
  • Method for shortening verification time of hardware Trojan in integrated circuit test

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0045] After completing the basic functional circuit design of the chip, the insertion operation of the MFTD structure is performed. This operation first sets a probability threshold, that is, the setting of the activation degree of the integrated circuit under test. The larger probability threshold P th It will bring more area overhead, so this value needs to be set as a compromise between area and Trojan detection efficiency. After setting the probability threshold, classify all nodes of the tested integrated circuit into th nodes and less than P th of nodes. Then, cycle through the selection of target nodes for MFTD insertion until the flipping probabilities of all nodes are greater than P th until.

[0046] Such as image 3 As shown, the specific implementation process is as follows: (1) Read in the current design and set the probability threshold P th ;(2) Calculate the flip probability of each node, and divide all nodes into two arrays according to the set probabili...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a method for shortening verification time of hardware Trojan in an integrated circuit test. A special structure comprises a gate cell and a multi-way switch, wherein the multi-way switch has a test input signal TI and a Trojan test mode enabling signal EN; the gate cell is used for performing logical adhesion with target nodes in the tested integrated circuit, and the type of the gate cell is decided by occurrence probability 0 and 1 of the nodes; the special structure MFTD is inserted by the following steps of: firstly, setting a probability threshold value Pth; classifying all nodes of the tested integrated circuit into the nodes of which the overturning probability is greater than the Pth and the nodes of which the overturning probability is less than the Pth; and then inserting the special structure MFTD by circularly selecting the target nodes until the overturning probability of all the nodes is greater than the Pth. According to the invention, the MFTD is inserted into the design stage of the integrated circuit, so that the activation degree of the hardware Trojan is effectively improved in the test, and the verification time of the hardware Trojan is shortened.

Description

technical field [0001] The invention relates to a special structure for hardware Trojan horse detection, in particular to a special structure for hardware Trojan horse detection in integrated circuit testing. Background technique [0002] With the development of integrated circuit technology and the intelligentization of information systems, the functions of integrated circuits have become more and more complex, the chip area has become larger and larger, information security issues have become more and more prominent, and information leakage and attacks caused by hardware Trojans are frequently reported. How to detect, identify and protect hardware Trojans has become a research hotspot. Different from virus programs that use computer software system vulnerabilities to intrude and steal information, that is, software Trojan horses, hardware Trojan horses refer to malicious modification or implantation of circuits during the design or manufacture of integrated circuit chips, ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G01R31/28
Inventor 赵毅强史亚峰刘长龙
Owner TIANJIN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products