基于門級網(wǎng)表的硬件木馬檢測技術(shù)研究.pdf

1、隨著集成電路的發(fā)展以及集成電路設(shè)計和生產(chǎn)的全球化,集成電路本身的安全問題引起了廣泛的關(guān)注,目前已經(jīng)發(fā)生了多起由于集成電路安全問題而影響到國家安全的案例,因此非常有必要對集成電路中可能存在的硬件木馬電路進行檢測。
　　硬件木馬能夠在RTL設(shè)計階段、DFT設(shè)計階段、布局布線階段或者芯片最終制造階段插入,其可能被植入到專用集成電路(ASICs)、商用模塊中(COTS)或微處理器中等模塊中。我們能夠得到這些電路的門級網(wǎng)表,因此本文進行了基

2、于門級網(wǎng)表的硬件木馬檢測技術(shù)的研究,主要內(nèi)容為:
　　1.根據(jù)硬件木馬電路的觸發(fā)電路和執(zhí)行電路的分類,分析其特征,并完成木馬電路的特征提取;然后對待檢測電路(CUD)的不同功能模塊進行分析,根據(jù)其特點確定了基于門級網(wǎng)表的硬件木馬檢測技術(shù)的適用范圍;
　　2.在對電路的功能進行分析后,然后根據(jù)木馬電路的結(jié)構(gòu)特征,完成了對異常端口、異步電路、不可測電路和低翻轉(zhuǎn)率節(jié)點等可疑信號的檢測;
　　3.根據(jù)ATPG的等價性原理,完成

3、可疑信號中等價信號和冗余信號的移除,減少可疑信號的數(shù)量;然后根據(jù)可疑信號之間的相關(guān)性將可疑信號劃分為可疑模塊,隨后根據(jù)模塊的規(guī)模和特征分別通過拓撲或仿真兩種方式獲得其翻轉(zhuǎn)概率,并通過翻轉(zhuǎn)概率對可疑模塊進行評估,進一步降低可疑信號的數(shù)量;最后通過對可疑信號進行修正,獲取盡可能完整的木馬電路;
　　4.通過對網(wǎng)表文件的語義分析,以鄰接表的數(shù)據(jù)結(jié)構(gòu)完成門級網(wǎng)表在內(nèi)存中的存儲,并對時鐘網(wǎng)絡(luò)、復(fù)位網(wǎng)絡(luò)和邏輯網(wǎng)路進行分離,對門級網(wǎng)表電路特征和