[發明專利]一種快速低開銷全自動數字集成電路單粒子故障注入系統

有效

• 申請號: 201710201165.9
• 申請日: 2017-03-30
• 公開（公告）號: CN107167725B
• 公開（公告）日: 2019-10-25
• 發明（設計）人: 趙元富;鄭宏超;李哲;岳素格;王亮;李建成;陳茂鑫;喻賢坤;姜柯;于春青;王漢寧;劉琳;畢瀟;杜守剛;王煌偉;趙旭;穆里隆;李繼華;簡貴胄;初飛;祝長民;王思聰;李月
• 申請（專利權）人: 北京時代民芯科技有限公司;北京微電子技術研究所
• 主分類號: G01R31/3183
• 分類號: G01R31/3183
• 代理公司: 中國航天科技專利中心 11009
• 代理人: 臧春喜

1.一種快速低開銷全自動數字集成電路單粒子故障注入系統，其特征在于：包括人機操作界面、故障電路網表代碼生成模塊、功能向量和故障信號隨機產生模塊、仿真統計和計算輸出模塊；

人機操作界面：接收用戶輸入的目標電路網表文件以及參數設置信息，并輸出給故障電路網表代碼生成模塊以及功能向量和故障信號隨機產生模塊；顯示故障電路網表代碼生成模塊以及功能向量和故障信號隨機產生模塊返回的實時信息；

故障電路網表代碼生成模塊：接收來自人機操作界面的目標電路網表文件，進行Verilog門級網表詞法分析，生成帶有N個故障注入端口的故障電路網表文件，輸出給仿真統計和計算輸出模塊；

功能向量和故障信號隨機產生模塊：對每種工作模式下的測試向量文件進行故障注入的相關配置，生成帶有故障注入信息的測試向量文件以及用于仿真的宏文件，輸出給仿真統計和計算輸出模塊；

仿真統計和計算輸出模塊：根據故障電路網表文件、帶有故障注入信息的測試向量文件以及用于仿真的宏文件，對目標電路進行故障注入仿真，并對每次故障注入仿真前后的電路運行結果進行對比，根據故障類型庫把每次的對比結果進行分類與匯總統計，并將對比結果和分類與匯總統計結果返回給人機操作界面。

2.根據權利要求1所述的一種快速低開銷全自動數字集成電路單粒子故障注入系統，其特征在于：所述故障電路網表代碼生成模塊生成帶有N個故障注入端口的故障電路網表文件的實現方法如下：

(2.1)將來自人機操作界面的目標電路網表文件，轉化成基于庫單元的門級電路網表文件；

(2.2)在基于庫單元的門級電路網表文件的模塊聲明部分，定義故障注入端口；

(2.3)在基于庫單元的門級電路網表文件中，為故障注入端口添加屬性信息，所述屬性信息包括端口類型以及與其他端口連接關系，端口類型為輸入端口或輸出端口；

(2.4)按照步驟(2.2)和(2.3)，選擇一個庫單元，在目標電路上添加故障注入端口，并根據該故障注入端口與其他端口的連接關系，搭建臨時連接線網；

(2.5)判斷是否完成了所有故障注入端口的添加，如果完成，返回故障注入端口的總數，進入步驟(2.6)；否則跳轉到(2.4)，重新選擇未添加故障注入端口的庫單元進行故障注入，直到完成所有故障注入端口的添加；

(2.6)生成帶有N個故障注入端口的故障電路網表文件。

3.根據權利要求1所述的一種快速低開銷全自動數字集成電路單粒子故障注入系統，其特征在于：所述功能向量和故障信號隨機產生模塊生成帶有故障注入信息的測試向量文件以及用于仿真的宏文件的實現過程為：

(3.1)根據來自人機操作界面的參數設置信息獲取目標電路不同工作模式下的測試向量、時序約束信息；

(3.2)選擇一種工作模式，對測試向量文件進行故障注入配置，生成帶有故障注入信息的測試向量文件，所述故障注入配置包括對故障注入的電路節點、故障注入時間、故障注入的持續時間、故障注入的次數設置隨機函數；

(3.3)重復步驟(3.2)，直到完成對所有工作模式的故障注入配置，對生成的各個測試向量文件進行保存；

(3.4)根據目標電路故障注入的仿真流程，生成用于仿真的宏文件。

4.根據權利要求1所述的一種快速低開銷全自動數字集成電路單粒子故障注入系統，其特征在于：所述仿真統計和計算輸出模塊的實現方式如下：

(4.1)仿真統計和計算輸出模塊對沒有任何故障注入的目標電路進行仿真，得到沒有進行故障注入的仿真結果；

(4.2)根據故障電路網表文件、帶有故障注入信息的測試向量文件以及用于仿真的宏文件，對目標電路進行故障注入仿真；

(4.3)把每次進行故障注入后的仿真結果和沒有進行故障注入的仿真結果進行對比分析；

(4.4)根據故障類型庫把每次進行故障注入后的對比結果進行分類鑒別與匯總統計，將對比結果和分類與匯總統計結果返回給人機操作界面；

(4.5)刪除本次進行故障注入生成的仿真文件；

(4.6)根據帶有故障注入信息的測試向量文件以及用于仿真的宏文件，判斷是否完成所有類型的故障注入，如果是則結束，否則返回步驟(4.2)。