成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60.
引用本文: 成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60.
CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. Microelectronics & Computer, 2017, 34(3): 56-60.
Citation: CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. Microelectronics & Computer, 2017, 34(3): 56-60.

基于RTL级硬件木马的检测方法

A Detection Method of Hardware Trojans Based on RTL

  • 摘要: 随着集成电路产业的飞速发展和产业布局的改变, 交由第三方设计制造的芯片越来越流行, 如何保证芯片设计安全成为了人们日益关注的问题.对此, 以目前硬件木马检测的主要方法为背景, 以AES木马为基准电路, 从RTL级语言结构出发, 依据perl语言强大的文本匹配能力, 提出了一种基于Verilog IEEE标准的RTL级硬件木马的分析方法, 以期从源头上保证硬件木马设计的安全性.

     

    Abstract: With the development of the integrated circuits and the transform of industrial distribution, it becomes more and more popular for some company to rely on the third party to design their chips. To ensure the sercurity of chip design flow has become the concern of people. With the context of the main detections of Hardware Trojan, the paper proposed a method to detect the RTL level HTs, based on the verilog IEEE characteristics and the AES benchmarks and the powerful capability of text-matching of perl, thus, to ensure security from the initial design.

     

/

返回文章
返回