[發明專利]用于片上存儲管理單元容錯結構的自動驗證平臺與方法

有效

• 申請號: 201510617139.5
• 申請日: 2015-09-24
• 公開（公告）號: CN105185413B
• 公開（公告）日: 2018-06-22
• 發明（設計）人: 郭娜娜;楊博;劉虎兵;楚亞楠;謝琰瑾;田超
• 申請（專利權）人: 中國航天科技集團公司第九研究院第七七一研究所
• 主分類號: G11C29/08
• 分類號: G11C29/08;G06F17/50
• 代理公司: 西安通大專利代理有限責任公司 61200
• 代理人: 李宏德

1.用于片上存儲管理單元容錯結構的自動驗證平臺，其特征在于，包括調試主機，以及通過串口連接的待測主機；

調試主機用于進行驗證流程控制并在驗證過程中進行編碼結果檢查、錯誤注入、譯碼結果檢查以及對處理器進行監控和調試；

待測主機內集成有片上存儲體容錯結構，用于校驗碼編碼的生成、譯碼邏輯和錯誤注入后的譯碼驗證以及對存儲體容錯結構進行自動化驗證程序的加載；

所述的存儲體容錯結構包括存儲器控制模塊，容錯模塊，選擇器和存儲體；存儲器控制模塊和容錯模塊分別用于在片上存儲體容錯結構的存儲器工作模式和故障注入模式下實現對存儲體的讀寫控制，選擇器用于對存儲器工作模式和故障注入模式進行選擇；

存儲體包括數據區和校驗區，選擇器控制端連接由調試主機控制的選擇信號MODE_SEL控制故障注入模式和存儲器工作模式的切換；

當選擇信號MODE_SEL賦值選擇存儲器工作模式時，存儲器控制模塊輸出一套控制信號SCTRL_S將片選信號、讀寫控制信號輸入給存儲體，統一控制數據區和校驗區的讀寫；

當選擇信號MODE_SEL賦值選擇故障注入模式時，容錯模塊輸出兩套控制信號DATA_S和PAR_S分別控制數據區和校驗區，實現數據區和校驗區數據的分別寫入或讀出。

2.根據權利要求1所述的用于片上存儲管理單元容錯結構的自動驗證平臺，其特征在于，所述串口采用RS232接口。

3.根據權利要求1所述的用于片上存儲管理單元容錯結構的自動驗證平臺，其特征在于，設置存儲體容錯結構的集成片上設置有與調試主機連接的UART接口。

4.基于權利要求1所述的驗證平臺的用于片上存儲管理單元容錯結構的自動驗證方法，其特征在于，包括如下步驟，

步驟1，完成系統初始化并使能容錯功能；

步驟2，開始編碼邏輯功能的驗證；

2.1由調試主機向待測存儲體預先寫入隨機數，作為預先數據和預先校驗碼；

2.2使能故障注入模式，對待測存儲體的數據區和校驗區進行單獨訪問，讀取相應的數據和校驗碼，根據讀取到的數據計算生成計算校驗碼；

2.3選擇存儲器工作模式，然后將計算校驗碼與讀出的預先校驗碼進行比較，若比較結果不一致，則編碼錯誤，程序結束，將結果返給調試主機；若比較結果一致，則編碼正確，執行步驟3；

步驟3，開始譯碼邏輯功能的驗證；對待測存儲體進行讀操作，檢查是否產生校驗錯誤及讀出結果與預先寫入隨機數是否一致，若檢出錯誤則譯碼錯輸，程序結束將比較結果返給調試主機；若未發生錯誤則譯碼正確且數據比較結果一致，執行步驟4；

步驟4，開始故障注入后功能的驗證；

4.1進入故障注入模式，通過調試主機對存儲體的校驗碼注入隨機錯誤，通過隨機函數保證錯誤發生位置隨機，數據翻轉位數隨機；

4.2完成故障注入后，讀取存儲體中對應的數據，判斷是否發生校驗錯誤，若沒有發生則譯碼邏輯錯誤，程序結束，將結果返給調試主機；

若檢測到有校驗錯誤，則譯碼邏輯正確，進行糾錯；

4.3糾錯后，將產生錯誤的地址的數據區和糾錯后校驗區的數值讀出，并將二者與正確的預先寫入隨機數據做比較，若不一致，則糾錯失敗，譯碼錯誤，程序結束，將結果返給調試主機；

若一致，則糾錯成功，譯碼正確，確認存儲體容錯結構的正確性，完成本輪測試。

5.根據權利要求4所述用于片上存儲管理單元容錯結構的自動驗證方法，其特征在于，循環執行步驟1到步驟4，得到存儲體容錯結構正確性的驗證數據，計算得到存儲體容錯結構的可靠性指標。