[發明專利]一種邏輯存儲單元自動驗證的方法及裝置

有效

• 申請號: 201110167383.8
• 申請日: 2011-06-21
• 公開（公告）號: CN102841950B
• 公開（公告）日: 2017-11-03
• 發明（設計）人: 洪瑞煌;張軒;陳文軍
• 申請（專利權）人: 中興通訊股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 工業和信息化部電子專利中心11010
• 代理人: 羅丹

1.一種邏輯存儲單元自動驗證的方法，其特征在于，包括：

將一個邏輯芯片中所有邏輯存儲單元的相關信息填入通用格式的邏輯存儲單元模型文檔；

根據所述邏輯存儲單元模型文檔生成邏輯存儲單元對應的RTL級代碼；

基于所述邏輯存儲單元模型文檔驗證邏輯存儲單元對應的RTL級代碼；

所述基于所述邏輯存儲單元模型文檔驗證邏輯存儲單元對應的RTL級代碼，具體包括：

從所述邏輯存儲單元模型文檔中讀取所有邏輯存儲單元的相關信息，為每個邏輯存儲單元建立參考模型；

通過將所述參考模型的預期結果與所述RTL級代碼仿真的結果進行比較，對邏輯存儲單元讀寫操作進行驗證。

2.根據權利要求1所述的方法，其特征在于，

對于邏輯芯片中的寄存器，所述邏輯存儲單元相關信息包括：寄存器的屬性；

對于邏輯芯片中的存儲器，所述邏輯存儲單元相關信息包括：存儲器的屬性；

所述通用格式的模型文檔為通用表格文件或者通用文本文件。

3.根據權利要求2所述的方法，其特征在于，所述根據所述邏輯存儲單元模型文檔生成邏輯存儲單元對應的RTL級代碼，具體包括：

對于邏輯芯片中的寄存器，生成寄存器的RTL級代碼的過程如下：

將所述邏輯存儲單元模型文檔轉換成邏輯仿真工具可識別的格式；

從轉換后的模型文檔中讀取寄存器的屬性，通過邏輯仿真工具生成寄存器的RTL級代碼；

對于邏輯芯片中的存儲器，生成存儲器的RTL級代碼的過程如下：

從所述邏輯存儲單元模型文檔中直接讀取存儲器的屬性，輸入到邏輯芯片自帶的IP核生成工具中，生成存儲器的RTL級代碼。

4.根據權利要求1所述的方法，其特征在于，對于邏輯芯片中的寄存器，所述基于所述邏輯存儲單元模型文檔驗證邏輯存儲單元對應的RTL級代碼，還包括：

通過將所述邏輯存儲單元模型文檔中邏輯存儲單元的屬性與邏輯存儲單元的RTL級代碼仿真的結果進行比較，對邏輯存儲單元的復位初值進行驗證。

5.一種邏輯存儲單元自動驗證的裝置，其特征在于，包括：

模型文檔建立模塊，用于將一個邏輯芯片中所有邏輯存儲單元的相關信息填入通用格式的邏輯存儲單元模型文檔；

RTL代碼生成模塊，用于根據所述邏輯存儲單元模型文檔生成邏輯存儲單元對應的RTL級代碼；

邏輯存儲單元驗證模塊，用于基于所述邏輯存儲單元模型文檔驗證邏輯存儲單元對應的RTL級代碼；

所述邏輯存儲單元驗證模塊，具體包括：

參考模型生成子模塊，用于從所述邏輯存儲單元模型文檔中讀取所有邏輯存儲單元的相關信息，為每個邏輯存儲單元建立參考模型；

讀寫操作驗證子模塊，用于通過將所述參考模型的預期結果與邏輯存儲單元的RTL級代碼仿真的結果進行比較，對邏輯存儲單元的讀寫操作進行驗證。

6.根據權利要求5所述的裝置，其特征在于，對于邏輯芯片中的寄存器，所述邏輯存儲單元相關信息包括：寄存器的屬性；

對于邏輯芯片中的存儲器，所述邏輯存儲單元相關信息包括：存儲器的屬性；

所述通用格式的模型文檔為通用表格文件或者通用文本文件。

7.根據權利要求6所述的裝置，其特征在于，所述RTL代碼生成模塊，具體包括：

針對邏輯芯片中寄存器的，

格式轉換子模塊，用于將所述邏輯存儲單元模型文檔轉換成邏輯仿真工具可識別的格式；

邏輯仿真工具子模塊，從轉換后的模型文檔中讀取寄存器的屬性，通過邏輯仿真工具生成寄存器的RTL級代碼；以及，

針對邏輯芯片中存儲器的，

讀取模塊，用于從所述邏輯存儲單元模型文檔中直接讀取存儲器的屬性，輸入到邏輯芯片自帶的IP核生成工具中；

IP核生成工具，用于根據存儲器的屬性生成存儲器的RTL級代碼。

8.根據權利要求5所述的裝置，其特征在于，對于邏輯芯片中的寄存器，所述邏輯存儲單元驗證模塊還包括：

初值驗證子模塊，用于通過將所述邏輯存儲單元模型文檔中邏輯存儲單元的屬性與邏輯存儲單元的RTL級代碼仿真的結果進行比較，對邏輯存儲單元的復位初值進行驗證。