[發明專利]一種基于HDL代碼的硬件脆弱性評估方法

在審

• 申請號: 201711103362.3
• 申請日: 2017-11-10
• 公開（公告）號: CN107807812A
• 公開（公告）日: 2018-03-16
• 發明（設計）人: 陳哲;王堅;郭世澤;李玉柏;高振標
• 申請（專利權）人: 電子科技大學
• 主分類號: G06F8/34
• 分類號: G06F8/34;G06F11/36
• 代理公司: 成都正華專利代理事務所(普通合伙)51229
• 代理人: 李蕊,李林合

1.一種基于HDL代碼的硬件脆弱性評估方法，其特征在于，包括以下步驟：

S1、編寫腳本程序，把一個HDL程序文件作為腳本程序的輸入，識別HDL程序中的模塊數量，并分析與每個模塊關聯的邊的數目；

S2、提出HDL程序的硬件脆弱性分析策略，計算每條邊的脆弱性權值，建立脆弱性權值拓撲圖；

S3、構建HDL程序的硬件脆弱性評價體系，根據脆弱性權值拓撲圖對各模塊進行硬件脆弱性分級；

S4、編寫圖形界面，展示HDL程序中的模塊連接關系以及各模塊的硬件脆弱性級別。

2.根據權利要求1所述的硬件脆弱性評估方法，其特征在于，所述步驟S2中邊的脆弱性權值的計算公式為：

其中V_i和V_j分別表示HDL程序中的第i個模塊與第j個模塊，i＝0,1,...,n-1，j＝0,1,...,n-1，n為HDL程序中的模塊數量，TD(·)表示與模塊關聯的邊的數目，v_ij表示模塊V_i和V_j連接邊的脆弱性權值，a為重要性系數，p_ij為模塊V_i和V_j連接邊的初始權值，w為脆弱性修正值，h為輸入接口到各模塊的跳數。

3.根據權利要求2所述的硬件脆弱性評估方法，其特征在于，所述重要性系數a的確定方法為：

若模塊的程序來源是程序員自己編寫的程序，則a＝0.8；若模塊的程序來源是調用IP核編寫的程序，則a＝1。

4.根據權利要求2所述的硬件脆弱性評估方法，其特征在于，所述初始權值p_ij為模塊V_i和V_j連接邊所表示鏈路的相關接口數量。

5.根據權利要求1所述的硬件脆弱性評估方法，其特征在于，所述步驟S3中HDL程序的硬件脆弱性評價體系具體為：

根據HDL程序的脆弱性權值拓撲圖得到每條邊的脆弱性，由于脆弱性越高的邊所連接的兩個模塊脆弱性也越高，因此根據邊的脆弱性對模塊的脆弱性進行等級劃分，分為脆弱性高、中、低三個級別，每個級別的相應比例分別為20％、30％和50％。