[發明專利]一種提高木馬活性的測試向量生成方法

有效

• 申請號: 201510273862.6
• 申請日: 2015-05-26
• 公開（公告）號: CN104849648B
• 公開（公告）日: 2017-11-07
• 發明（設計）人: 陳曉明;劉洋;李松松;張建偉;朱慧超
• 申請（專利權）人: 大連理工大學
• 主分類號: G01R31/28
• 分類號: G01R31/28
• 代理公司: 大連理工大學專利中心21200
• 代理人: 潘迅,梅洪玉

1.一種提高木馬活性的測試向量生成方法，其步驟在于：

第一階段；收集備選節點

1)使用仿真工具對原始芯片的門級網表進行仿真，統計芯片內部節點停留在邏輯0的時間記為T0，統計芯片內部節點停留在邏輯1的時間記為T1；在仿真過程中添加生成SAIF文件的指令，對SAIF文件的處理使用Perl腳本實現，提取出所有節點停留在邏輯0的時間(T0)和邏輯1的時間(T1)，然后兩者之和除以仿真周期并與預設閾值進行比較；

2)選出停留在邏輯0的時間(T0)和邏輯1的時間(T1)之和占仿真時長百分比小于預設閾值的節點作為備選節點；

第二階段：收集備選向量

收集能夠使備選節點出現不常見邏輯值的向量，作為備選向量；借助自動測試向量生成技術，對備選節點檢查與不常見邏輯值相反的固定型故障，得到備選向量，對每個備選節點使用多個不同的測試向量進行多次檢查；

第三階段：消除備選向量重復項并重新排序

使用perl腳本消除備選向量中的重復項，并按照同時觸發節點個數降序排列備選向量，包含如下步驟:

1)構建哈希表，哈希表的鍵為備選向量，值為重復次數；依次讀入備選向量，鍵為讀入備選向量的元素哈希值加1；所有的哈希鍵構成消除重復項后的備選向量；

2)按照哈希值的大小對哈希表元素進行降序排列，輸出哈希表所有的鍵，構成最終用于木馬檢測的測試向量。

2.根據權利要求1所述的測試向量生成方法，其步驟在于：所述的自動測試向量生成用EDA工具TetraMax實現。

3.根據權利要求1所述的測試向量生成方法，其步驟在于：所述的自動測試向量生成借助PODEM、FAN、SOCRATES、ATOM算法實現。