[發明專利]在驗證環境中控制激勵的方法和裝置

在審

• 申請號: 201410032411.9
• 申請日: 2014-01-23
• 公開（公告）號: CN103777951A
• 公開（公告）日: 2014-05-07
• 發明（設計）人: 馮秀麗;李強
• 申請（專利權）人: 北京昆騰微電子有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域

本發明涉及驗證領域，尤其涉及一種在驗證環境中控制激勵的方法和裝置。

背景技術

隨著集成電路的復雜度和尺寸不斷增加，集成電路的驗證工作也變的越來越復雜，仿真速度也變得越來越慢，仿真編譯和鏈接的速度也變的越來越慢，因此驗證周期也變長了。因此，縮短仿真時間從而縮短驗證周期變得越來越重要。

然而，在驗證的過程中，有時需要改變某些參數來改變激勵。在現有技術中通常采用定義宏的方法來改變激勵，但是這種方法每改變一次參數就編譯鏈接一次，而編譯鏈接花費的時間很長，從而延長了驗證周期。

發明內容

本發明提供一種在驗證環境中控制激勵的方法和裝置，用以實現不需要重新編譯鏈接即可以改變激勵，縮短驗證周期。

本發明提供一種在驗證環境中控制激勵的方法，包括：

生成腳本文件；

運行所述腳本文件，根據激勵控制參數名稱對預先建立的第一文本文件中與所述激勵控制參數名稱對應的激勵控制參數值進行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵控制參數值；

采用硬件描述語言讀入所述第二文本文件，利用所述修改后的激勵控制參數值對激勵進行控制。

本發明還提供一種在驗證環境中控制激勵的裝置，包括：

文件生成模塊，用于生成腳本文件；

文件修改模塊，用于運行所述腳本文件，根據激勵控制參數名稱對預先建立的第一文本文件中與所述激勵控制參數名稱對應的激勵控制參數值進行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵控制參數值；

激勵控制模塊，用于采用硬件描述語言讀入所述第二文本文件，利用所述修改后的激勵控制參數值對激勵進行控制。

本實施例在驗證的過程中，通過運行腳本文件修改激勵控制參數值，再通過修改后的激勵控制參數值來修改激勵，不需要重新編譯鏈接就可以改變激勵，縮短了驗證周期，從而節省了項目開發時間。

附圖說明

圖1為本發明在驗證環境中控制激勵的裝置實施例的結構示意圖；

圖2為本發明在驗證環境中控制激勵的方法實施例的流程示意圖。

具體實施方式

下面結合說明書附圖和具體實施方式對本發明作進一步的描述。

如圖1所示，為本發明在驗證環境中控制激勵的裝置實施例的結構示意圖，該裝置可以包括文件生成模塊11、文件修改模塊12和激勵控制模塊13，文件修改模塊12與文件生成模塊11連接，激勵控制模塊13與文件修改模塊12連接。

其中，文件生成模塊11用于生成腳本文件。文件修改模塊12用于運行所述腳本文件，根據激勵控制參數名稱對預先建立的第一文本文件中與該激勵控制參數名稱對應的激勵控制參數值進行修改，輸出第二文本文件，第二文本文件中包括修改后的激勵控制參數值。激勵控制模塊13用于采用硬件描述語言讀入第二文本文件，利用修改后的激勵控制參數值對激勵進行控制。

該實施例的工作過程如下：如圖2所示，為本發明在驗證環境中控制激勵的方法實施例的流程示意圖，該方法可以包括如下步驟：

步驟21、文件生成模塊11生成腳本文件；

可選地，文件生成模塊11采用perl腳本語言但不限于perl腳本語言編生成腳本文件；

步驟22、文件修改模塊12運行腳本文件，根據激勵控制參數名稱對第一文本文件中與該激勵控制參數名稱對應的激勵控制參數值進行修改，輸出第二文本文件；

步驟23、激勵控制模塊13用于采用硬件描述語言讀入第二文本文件，利用修改后的激勵控制參數值對激勵進行控制；

可選地，激勵控制模塊13可以利用修改后的激勵控制參數值對激勵中的變量進行控制，或者對激勵中的分支進行控制；可選地，激勵控制模塊13采用但不限于verilog的驗證環境。

第一文本文件中包括激勵控制參數名稱和與激勵控制參數名稱對應的激勵控制參數值，例如表1所示的第一文本文件：

表1第一文本文件