[發(fā)明專利]一種環(huán)境驗證系統(tǒng)及方法

在審

• 申請?zhí)枺?/td>: 202011547661.8
• 申請日: 2020-12-23
• 公開（公告）號: CN112668278A
• 公開（公告）日: 2021-04-16
• 發(fā)明（設計）人: 李振偉;朱寒
• 申請（專利權）人: 上海磐啟微電子有限公司
• 主分類號: G06F30/398
• 分類號: G06F30/398;G06F8/41;G06F40/151;G06F40/194;G06F21/60
• 代理公司: 上海申新律師事務所 31272
• 代理人: 黨蕾

本發(fā)明公布了一種環(huán)境驗證系統(tǒng)及方法，包括第一處理模塊，用于對輸入的程序進行處理得到具有多個區(qū)塊的編譯文件；第二處理模塊，用于對所述編譯文件進行處理得到一第一轉換區(qū)塊文件；存儲模塊，預存有多個函數；第三處理模塊，用于對所述第一轉換區(qū)塊文件進行處理得到模塊解密文件；比對模塊，用于判斷所述編譯文件和所述模塊解密文件是否一致；若是，所述加解密模塊的加解密功能正常；若否，所述加解密模塊的加解密功能不正常。本發(fā)明的技術方案的有益效果在于：操作簡單，執(zhí)行可靠；可以使用不同的密鑰長度實現對AES的加解密算法的不同的模式的加解密功能的驗證，且能夠自動對比解密結果；大大節(jié)約了驗證成本。

技術領域

本發(fā)明涉及集成電路技術領域，尤其涉及一種環(huán)境驗證系統(tǒng)及方法。

背景技術

目前，在集成電路設計驗證領域，客戶越來越重視對于數據的安全性，同時集成電路的核心程序和算法等也都需要進行保護措施，因此需要進行對特殊數據、核心程序、算法進行加密。

在現有技術在，存在多種加解密技術，比如，AES的加解密算法就是比較常用的一種，但如果要對加解密的算法進行加解密功能的檢驗，就需要進行算法模型的模擬，這不僅需要花費大量的時間對該算法進行深入的了解，且在了解該算法的過程中容易產生對理解的偏差，這將使得驗證環(huán)境存在bug，從而影響后續(xù)環(huán)境的使用。

發(fā)明內容

根據現有技術中存在的問題，現提供一種環(huán)境驗證系統(tǒng)及方法，旨在簡化對環(huán)境的加解密功能的檢驗過程。

上述技術方案具體包括：

一種環(huán)境驗證系統(tǒng)，用于驗證環(huán)境的加解密模塊的加解密功能，其中，包括；

第一處理模塊，用于對輸入的程序進行處理得到具有多個區(qū)塊的編譯文件；

第二處理模塊，連接至所述第一處理模塊，用于對所述編譯文件進行處理得到一第一轉換區(qū)塊文件；

存儲模塊，預存有多個函數；

第三處理模塊，連接至所述第二處理模塊和所述存儲模塊，用于對所述第一轉換區(qū)塊文件進行處理得到模塊解密文件；

比對模塊，連接至所述第一處理模塊和所述第三處理模塊，用于將所述編譯文件和所述模塊解密文件進行比對，并輸出一比對結果；

當所述比對結果表示所述編譯文件和所述模塊解密文件一致時，所述加解密模塊的加解密功能正常；

當所述比對結果表示所述編譯文件和所述模塊解密文件不一致時，所述加解密模塊的加解密功能不正常。

優(yōu)選的，所述第一處理模塊將所述程序的格式轉換為HEX格式得到所述編譯文件。

優(yōu)選的，所述第二處理模塊包括：

標記單元，具有一預設的區(qū)塊特征，用于將符合所述區(qū)塊特征的所述區(qū)塊進行標記作為目標區(qū)塊；

第一處理單元，連接至所述標記單元，用于對所述目標區(qū)塊的內容進行大小端轉換處理得到一第二轉換區(qū)塊文件；

第二處理單元，連接至所述第一處理單元，用于將所述第二轉換區(qū)塊文件進行格式轉換處理得到所述第一轉換區(qū)塊文件。

優(yōu)選的，所述區(qū)塊特征為所述區(qū)塊的內容的長度為一固定長度。

優(yōu)選的，所述第二處理單元將所述第一轉換區(qū)塊文件的格式轉換為ASCII碼格式。

優(yōu)選的，所述第三處理模塊包括：

封裝單元，用于選擇一個所述函數作為加密函數，并將所述加密函數進行封裝得到封裝加密函數；

第三處理單元，連接至所述封裝單元，用于根據所述封裝加密函數將所述第一處理文件進行加密得到加密區(qū)塊文件；