[發明專利]基于近似邏輯電路的軟錯誤屏蔽方法

有效

• 申請號: 201410372628.4
• 申請日: 2014-07-31
• 公開（公告）號: CN104376143B
• 公開（公告）日: 2018-01-09
• 發明（設計）人: 陶硯蘊;鄭建穎;朱忠奎;楊勇;張宇禎
• 申請（專利權）人: 蘇州大學
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 蘇州創元專利商標事務所有限公司32103
• 代理人: 陶海鋒

1.一種基于近似邏輯電路的軟錯誤屏蔽方法，其特征在于，包括如下步驟：

1）確定原電路需要邏輯錯誤屏蔽的空間和原電路近似的單向空間；

2）對實驗電路進行邏輯綜合，將得到的電路網表文件作為原電路形式；

3）在原電路基礎上進行近似電路的邏輯綜合，得到電路的多級邏輯函數：

（1）

其中，S為電路的全局邏輯函數，S₁, S₂… S_n-1為電路局部節點函數，每個節點函數為“乘積和”邏輯表達式，根據公式（1）創建電路樹，將電路的節點存儲于所述電路樹；

4）根據步驟3）中的多級邏輯函數對節點進行立方體開閉集選擇屬性的分配；

5）確定節點立方體的選擇屬性后，在非屏蔽空間中，選擇覆蓋較多最小項的立方體產生的近似電路；

6）對每個節點選擇立方體后計算電路的輸出邏輯，判斷輸出的邏輯位是否在屏蔽空間內，若是，則重新選擇其他立方體，否則繼續下一個節點的立方體選擇；

7）重復步驟6）至所有節點都經過立方體選擇，完成原電路的近似計算，將計算得到的近似電路存儲于樹中，并寫入網表文件；

8）根據公式（2）將原電路和近似電路進行組合實現屏蔽系統：

（2）

其中，S_0-apr 和S_1-apr 是原電路S的兩個單向近似電路，S_1-apr代表開集近似電路，S_0-apr代表閉集近似電路。

2.根據權利要求1所述的一種基于近似邏輯電路的軟錯誤屏蔽方法，其特征在于：所述原電路和近似電路的存儲文件為BLIF格式。