在驗(yàn)證環(huán)境中控制激勵(lì)的方法和裝置制造方法
【專(zhuān)利摘要】本發(fā)明涉及一種在驗(yàn)證環(huán)境中控制激勵(lì)的方法和裝置。所述方法包括：生成腳本文件；運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與所述激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵(lì)控制參數(shù)值；采用硬件描述語(yǔ)言讀入所述第二文本文件，利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。本發(fā)明可以實(shí)現(xiàn)不需要重新編譯鏈接即可以改變激勵(lì)，縮短驗(yàn)證周期。
【專(zhuān)利說(shuō)明】在驗(yàn)證環(huán)境中控制激勵(lì)的方法和裝置
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及驗(yàn)證領(lǐng)域，尤其涉及一種在驗(yàn)證環(huán)境中控制激勵(lì)的方法和裝置。
【背景技術(shù)】
[0002]隨著集成電路的復(fù)雜度和尺寸不斷增加，集成電路的驗(yàn)證工作也變的越來(lái)越復(fù)雜，仿真速度也變得越來(lái)越慢，仿真編譯和鏈接的速度也變的越來(lái)越慢，因此驗(yàn)證周期也變長(zhǎng)了。因此，縮短仿真時(shí)間從而縮短驗(yàn)證周期變得越來(lái)越重要。
[0003]然而，在驗(yàn)證的過(guò)程中，有時(shí)需要改變某些參數(shù)來(lái)改變激勵(lì)。在現(xiàn)有技術(shù)中通常采用定義宏的方法來(lái)改變激勵(lì)，但是這種方法每改變一次參數(shù)就編譯鏈接一次，而編譯鏈接花費(fèi)的時(shí)間很長(zhǎng)，從而延長(zhǎng)了驗(yàn)證周期。

【發(fā)明內(nèi)容】

[0004]本發(fā)明提供一種在驗(yàn)證環(huán)境中控制激勵(lì)的方法和裝置，用以實(shí)現(xiàn)不需要重新編譯鏈接即可以改變激勵(lì)，縮短驗(yàn)證周期。
[0005]本發(fā)明提供一種在驗(yàn)證環(huán)境中控制激勵(lì)的方法，包括:
[0006]生成腳本文件；
[0007]運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與所述激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵(lì)控制參數(shù)值；
[0008]采用硬件描述語(yǔ)言讀入所述第二文本文件，利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。
[0009]本發(fā)明還提供一種在驗(yàn)證環(huán)境中控制激勵(lì)的裝置，包括:
[0010]文件生成模塊，用于生成腳本文件；
[0011]文件修改模塊，用于運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與所述激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵(lì)控制參數(shù)值；
[0012]激勵(lì)控制模塊，用于采用硬件描述語(yǔ)言讀入所述第二文本文件，利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。
[0013]本實(shí)施例在驗(yàn)證的過(guò)程中，通過(guò)運(yùn)行腳本文件修改激勵(lì)控制參數(shù)值，再通過(guò)修改后的激勵(lì)控制參數(shù)值來(lái)修改激勵(lì)，不需要重新編譯鏈接就可以改變激勵(lì)，縮短了驗(yàn)證周期，從而節(jié)省了項(xiàng)目開(kāi)發(fā)時(shí)間。
【專(zhuān)利附圖】

【附圖說(shuō)明】
[0014]圖1為本發(fā)明在驗(yàn)證環(huán)境中控制激勵(lì)的裝置實(shí)施例的結(jié)構(gòu)示意圖；
[0015]圖2為本發(fā)明在驗(yàn)證環(huán)境中控制激勵(lì)的方法實(shí)施例的流程示意圖?！揪唧w實(shí)施方式】
[0016]下面結(jié)合說(shuō)明書(shū)附圖和【具體實(shí)施方式】對(duì)本發(fā)明作進(jìn)一步的描述。
[0017]如圖1所示，為本發(fā)明在驗(yàn)證環(huán)境中控制激勵(lì)的裝置實(shí)施例的結(jié)構(gòu)示意圖，該裝置可以包括文件生成模塊11、文件修改模塊12和激勵(lì)控制模塊13，文件修改模塊12與文件生成模塊11連接，激勵(lì)控制模塊13與文件修改模塊12連接。
[0018]其中，文件生成模塊11用于生成腳本文件。文件修改模塊12用于運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與該激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，第二文本文件中包括修改后的激勵(lì)控制參數(shù)值。激勵(lì)控制模塊13用于采用硬件描述語(yǔ)言讀入第二文本文件，利用修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。
[0019]該實(shí)施例的工作過(guò)程如下:如圖2所示，為本發(fā)明在驗(yàn)證環(huán)境中控制激勵(lì)的方法實(shí)施例的流程示意圖，該方法可以包括如下步驟:
[0020]步驟21、文件生成模塊11生成腳本文件；
[0021]可選地，文件生成模塊11采用peri腳本語(yǔ)言但不限于peri腳本語(yǔ)言編生成腳本文件；
[0022]步驟22、文件修改模 塊12運(yùn)行腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)第一文本文件中與該激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件；
[0023]步驟23、激勵(lì)控制模塊13用于采用硬件描述語(yǔ)言讀入第二文本文件，利用修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制；
[0024]可選地，激勵(lì)控制模塊13可以利用修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)中的變量進(jìn)行控制，或者對(duì)激勵(lì)中的分支進(jìn)行控制；可選地，激勵(lì)控制模塊13采用但不限于verilog的驗(yàn)證環(huán)境。
[0025]第一文本文件中包括激勵(lì)控制參數(shù)名稱(chēng)和與激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值，例如表1所示的第一文本文件:
[0026]表1第一文本文件
[0027]
【權(quán)利要求】
1.一種在驗(yàn)證環(huán)境中控制激勵(lì)的方法，其特征在于，包括: 生成腳本文件； 運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與所述激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵(lì)控制參數(shù)值； 采用硬件描述語(yǔ)言讀入所述第二文本文件，利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。
2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述腳本文件采用peri腳本語(yǔ)言編寫(xiě)，所述硬件描述語(yǔ)言為verilog驗(yàn)證環(huán)境。
3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制具體為:利用所述修改后的激勵(lì)控制參數(shù)值對(duì)所述激勵(lì)中的變量進(jìn)行控制或者對(duì)所述激勵(lì)中的分支進(jìn)行控制。
4.一種在驗(yàn)證環(huán)境中控制激勵(lì)的裝置，其特征在于，包括: 文件生成模塊，用于生成腳本文件； 文件修改模塊，用于運(yùn)行所述腳本文件，根據(jù)激勵(lì)控制參數(shù)名稱(chēng)對(duì)預(yù)先建立的第一文本文件中與所述激勵(lì)控制參數(shù)名稱(chēng)對(duì)應(yīng)的激勵(lì)控制參數(shù)值進(jìn)行修改，輸出第二文本文件，所述第二文本文件中包括修改后的激勵(lì)控制參數(shù)值； 激勵(lì)控制模塊，用于采用硬件描述語(yǔ)言讀入所述第二文本文件，利用所述修改后的激勵(lì)控制參數(shù)值對(duì)激勵(lì)進(jìn)行控制。
5.根據(jù)權(quán)利要求4所述的裝置，其特征在于，所述文件生成模塊生成的腳本文件采用peri腳本語(yǔ)言編寫(xiě)，所述激勵(lì)控制模塊采用的硬件描述語(yǔ)言為verilog語(yǔ)言。
6.根據(jù)權(quán)利要求4所述的裝置，其特征在于，所述激勵(lì)控制模塊用于利用所述修改后的激勵(lì)控制參數(shù)值對(duì)所述激勵(lì)中的變量進(jìn)行控制或者對(duì)所述激勵(lì)中的分支進(jìn)行控制。
【文檔編號(hào)】G06F9/44GK103777951SQ201410032411
【公開(kāi)日】2014年5月7日 申請(qǐng)日期:2014年1月23日 優(yōu)先權(quán)日:2014年1月23日
【發(fā)明者】馮秀麗, 李強(qiáng) 申請(qǐng)人:北京昆騰微電子有限公司