[發明專利]硬錯誤模擬及其使用

在審

• 申請號: 201910295312.2
• 申請日: 2019-04-12
• 公開（公告）號: CN110377924A
• 公開（公告）日: 2019-10-25
• 發明（設計）人: 賈米勒·R·馬扎維;艾曼·K·穆阿利姆;馬納爾·H·謝哈德
• 申請（專利權）人: 奧普蒂馬設計自動化有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 成都超凡明遠知識產權代理有限公司 51258
• 代理人: 魏彥;洪玉姬

1.一種計算機實施的方法，包括：

獲得電路的設計，其中，所述電路包括節點，所述節點在執行期間被分配值，其中，所述電路包括用于識別錯誤的一個或多個監測信號和一個或多個關鍵節點；

獲得所述電路的測試的運行的軌跡；

獲得節點上的硬錯誤故障，其中，所述硬錯誤故障潛在地能夠使錯誤值到達所述一個或多個關鍵節點；

通過處理器確定所述硬錯誤故障的硬錯誤測試覆蓋，其中，所述硬錯誤測試覆蓋指示所述一個或多個監測信號是否在測試的執行期間識別到所述硬錯誤故障，并且其中，所述確定包括：模擬所述電路的執行以及所述硬錯誤故障，并注明所述一個或多個監測信號中的任何一個或多個是否檢測到所述硬錯誤故障，以及

輸出所述硬錯誤測試覆蓋的指示。

2.根據權利要求1所述的計算機實施的方法，其中，關于所述電路中包括的多個節點進行所述確定，由此對所述多個節點中的每個節點確定測試覆蓋，其中，所述輸出包括輸出所述多個節點以及所述多個節點上的所述硬錯誤故障的關聯覆蓋值的列表。

3.根據權利要求2所述的計算機實施的方法，其中，所述輸出包括輸出總覆蓋值，其中，所述總覆蓋值是在所有可能的執行中檢測到所述硬錯誤故障的執行所占的比率。

4.根據權利要求1所述的計算機實施的方法，其中，所述模擬執行包括：確定模擬所述硬錯誤故障的經修改設計，其中，所述經修改設計被配置為將每個周期中所述節點的值設置為恒定值。

5.根據權利要求1所述的計算機實施的方法，其中，所述模擬執行包括：確定模擬所述硬錯誤故障的經修改設計，其中，所述經修改設計被配置為將每個周期中所述節點的值設置為不受到所述節點的輸入信號影響的隨機值。

6.根據權利要求1所述的計算機實施的方法，其中，所述模擬執行包括：確定模擬所述硬錯誤故障的經修改設計，其中，所述經修改設計被配置為將每個周期中所述節點的值設置為表示未知值的X值。

7.根據權利要求1所述的計算機實施的方法，其中，所述模擬執行包括：確定模擬所述硬錯誤故障的經修改設計，其中，所述設計包括對限定每個周期中所述信號的值的第一函數進行建模，其中，所述經修改設計包括對限定每個周期中所述信號的值的第二函數進行建模，其中，所述第二函數與所述第一函數不同。

8.根據權利要求1所述的計算機實施的方法，其中，所述一個或多個監測信號中的至少一個是內置自測試(BIST)的一部分或者鎖步或三模冗余(TMR)構造的一部分。

9.根據權利要求1所述的計算機實施的方法，還包括：

獲得所述電路的參考執行的記錄，其中，所述記錄包括多個周期中所述節點的記錄值；并且

其中，使用所述參考執行的所述記錄值進行所述模擬所述電路的執行。

10.根據權利要求9所述的計算機實施的方法，還包括：

識別一個或多個感興趣節點，其中，所述一個或多個感興趣節點中的每一個的影響邏輯(LOI)包括至少一個監測信號和至少一個關鍵節點；

其中，所述模擬包括：在每個周期的模擬期間，

確定所述感興趣節點的子集，所述子集的值潛在地與所述參考執行中對應周期中的所述記錄值不同；

對于不在節點的所述子集中的每個節點，使用所述記錄值作為該節點的值；以及

對于在節點的所述子集中的每個節點，計算該節點的值。

11.根據權利要求10所述的計算機實施的方法，其中，所述確定包括：對于每個感興趣節點，確定該感興趣節點的影響節點集的值在所述模擬中是否與在所述參考執行中的相同，其中，所述影響節點集是所述設計中限定該節點的值的節點集。