[發明專利]基于子圖同構的FPGA軟件可疑電路檢測方法

在審

• 申請號: 202110302752.3
• 申請日: 2021-03-22
• 公開（公告）號: CN113051858A
• 公開（公告）日: 2021-06-29
• 發明（設計）人: 李東方;張健;黃瓊;沈煒;朱立博;王志昊
• 申請（專利權）人: 北京計算機技術及應用研究所
• 主分類號: G06F30/34
• 分類號: G06F30/34;G06F11/36
• 代理公司: 中國兵器工業集團公司專利中心 11011
• 代理人: 王雪芬

1.一種基于子圖同構的FPGA軟件可疑電路檢測方法，其特征在于，包括以下步驟：

步驟1、進行RTL代碼的數據流圖和控制流圖結構提取

步驟2、將得到的數據流圖和控制流圖作為可疑電路的特征，構建可疑電路特征庫；

步驟3、基于子圖匹配方法進行可疑電路特征匹配。

2.如權利要求1所述的方法，其特征在于，步驟1中，對RTL代碼進行處理，生成數據流圖和控制流圖；提取的可疑電路的數據流圖和控制流圖作為可疑電路的特征；同時也用于特征匹配過程中對待測RTL代碼的處理。

3.如權利要求2所述的方法，其特征在于，步驟1具體為：

1)輸入可疑電路的RTL代碼，對代碼進行詞法和語法解析，形成抽象語法樹；

2)搜索抽象語法樹中所有的reg、wire以及端口信號，結合代碼結構中的過程塊或連續賦值語句，建立每個信號的連接關系，生成數據流圖；

3)搜索代碼中的條件判斷語句，得到代碼中所有的分支狀態和激活條件，整理形成控制流圖。

4.如權利要求1所述的方法，其特征在于，步驟2中，可疑電路數據庫中的數據庫項包括可疑電路的數據流圖、控制流圖、抽象層次、安全危害這些信息。

5.如權利要求1所述的方法，其特征在于，步驟2中，還進行可疑電路數據庫的更新：將目前已知的可疑電路案例特征抽取后載入可疑電路數據庫中，從而形成已知可疑電路特征庫。

6.如權利要求3所述的方法，其特征在于，步驟3中，采用子圖匹配方法，結合形成的可疑電路特征庫，進行待測設計和可疑電路特征的匹配，實現對可疑電路的檢測。

7.如權利要求6所述的方法，其特征在于，步驟3中，采用子圖同構算法對待測設計和可疑電路特征進行同構檢測，得出同構的可疑電路，繪制待測設計的圖結構并在其中標記出可疑電路。

8.如權利要求7所述的方法，其特征在于，還包括步驟4、可疑電路相似度分析：在特征匹配后，對檢測出可疑電路的相似度進行分析。