本發(fā)明涉及芯片設(shè)計(jì)與制造領(lǐng)域，尤其涉及一種實(shí)現(xiàn)新型的soc驗(yàn)證的交互機(jī)制的方法。

背景技術(shù)：

隨著設(shè)計(jì)與制造技術(shù)的發(fā)展，集成電路設(shè)計(jì)從晶體管的集成發(fā)展到邏輯門(mén)的集成，現(xiàn)在又發(fā)展到ip的集成，即soc(system-on-chip)設(shè)計(jì)技術(shù)。soc可以有效地降低電子/信息系統(tǒng)產(chǎn)品的開(kāi)發(fā)成本，縮短開(kāi)發(fā)周期，提高產(chǎn)品的競(jìng)爭(zhēng)力，是當(dāng)前工業(yè)界采用的最主要的產(chǎn)品開(kāi)發(fā)方式。但是隨著生產(chǎn)工藝越來(lái)越復(fù)雜，以及芯片規(guī)模越來(lái)越大，使得soc的驗(yàn)證復(fù)雜度呈現(xiàn)指數(shù)型增長(zhǎng)。因此，通過(guò)測(cè)試平臺(tái)添加有約束的隨機(jī)激勵(lì)的驗(yàn)證方法成為了業(yè)界主流。這就對(duì)隨機(jī)激勵(lì)的產(chǎn)生提出了很高的要求。傳統(tǒng)的隨機(jī)激勵(lì)產(chǎn)生主要有兩種方法，圖1是c直接產(chǎn)生隨機(jī)數(shù)的測(cè)試激勵(lì)示例，在c程序中進(jìn)行直接隨機(jī)生成隨機(jī)數(shù)據(jù)，然后使用其產(chǎn)生測(cè)試激勵(lì)，再利用測(cè)試激勵(lì)對(duì)soc芯片進(jìn)行測(cè)試，最后檢查輸出，完成該次隨機(jī)驗(yàn)證。該方法的缺點(diǎn)是無(wú)法做到真正的隨機(jī)，每次運(yùn)行得到的隨機(jī)數(shù)都是一樣的，無(wú)法滿足激勵(lì)隨機(jī)的要求；圖2是外部產(chǎn)生隨機(jī)數(shù)的測(cè)試激勵(lì)示例；通過(guò)在程序外使用別的方式(腳本語(yǔ)言或者matlab)產(chǎn)生隨機(jī)數(shù)，然后使用c語(yǔ)言隨機(jī)數(shù)據(jù)include，再使用隨機(jī)數(shù)據(jù)產(chǎn)生測(cè)試激勵(lì)，接著利用測(cè)試激勵(lì)對(duì)soc芯片進(jìn)行測(cè)試，最后檢查輸出，完成該次隨機(jī)驗(yàn)證。此方法缺點(diǎn)是每次進(jìn)行soc驗(yàn)證前，都必須先運(yùn)行產(chǎn)生隨機(jī)數(shù)的程序，使用不方便且影響驗(yàn)證效率。因此，soc驗(yàn)證過(guò)程需要新的隨機(jī)技術(shù)，可以克服上述問(wèn)題，以減少驗(yàn)證時(shí)間和提高驗(yàn)證覆蓋率。

技術(shù)實(shí)現(xiàn)要素：

針對(duì)以上缺陷，本發(fā)明目的在于如何實(shí)現(xiàn)一種在不影響驗(yàn)證效率的前提下，提供出一種真正的激勵(lì)隨機(jī)的方法來(lái)滿足soc自動(dòng)化隨機(jī)驗(yàn)證要求。

為了實(shí)現(xiàn)上述目的，本發(fā)明提供了一種soc自動(dòng)化隨機(jī)驗(yàn)證的方法，其特征在于通過(guò)腳本語(yǔ)言自動(dòng)生成隨機(jī)種子，將隨機(jī)種子分別輸入到c程序和soc的測(cè)試激勵(lì)模塊；c程序根據(jù)輸入的隨機(jī)種子生成內(nèi)部需要的隨機(jī)數(shù)；測(cè)試激勵(lì)模塊根據(jù)生成的隨機(jī)種子隨機(jī)生成測(cè)試激勵(lì)，測(cè)試激勵(lì)實(shí)現(xiàn)對(duì)soc芯片測(cè)試，通過(guò)檢測(cè)輸出判斷測(cè)試結(jié)果。

所述的soc自動(dòng)化隨機(jī)驗(yàn)證的方法，其特征在于所述的腳本語(yǔ)言為perl、shell或python。

所述的soc自動(dòng)化隨機(jī)驗(yàn)證的方法，其特征在于隨機(jī)種子通過(guò)c語(yǔ)言宏定義的方式輸入c程序，具體為在使用隨機(jī)種子的程序中增加宏c_seed的定義，在c程序編譯時(shí)增加-dc_seed＝<seed>的編譯選項(xiàng)。

本發(fā)明結(jié)合了外部程序產(chǎn)生隨機(jī)數(shù)和內(nèi)部測(cè)試用例c程序產(chǎn)生隨機(jī)數(shù)的優(yōu)點(diǎn)，通過(guò)外部傳入隨機(jī)種子給內(nèi)部測(cè)試用例c程序產(chǎn)生隨機(jī)數(shù)據(jù)，簡(jiǎn)單方便高效，實(shí)現(xiàn)了自動(dòng)產(chǎn)生真正隨機(jī)數(shù)據(jù)的效果，大大提高了驗(yàn)證的覆蓋率和效率。

附圖說(shuō)明

圖1是c直接產(chǎn)生隨機(jī)數(shù)的測(cè)試激勵(lì)示例；

圖2是外部產(chǎn)生隨機(jī)數(shù)的測(cè)試激勵(lì)示例；

圖3是自動(dòng)化生成隨機(jī)數(shù)的測(cè)試激勵(lì)示例；

具體實(shí)施方式

下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例?；诒景l(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有作出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。

圖3是自動(dòng)化生成隨機(jī)數(shù)的測(cè)試激勵(lì)示例。相比于傳統(tǒng)的soc驗(yàn)證隨機(jī)技術(shù)，其主要的不同是自動(dòng)產(chǎn)生隨機(jī)種子并將其傳遞到驗(yàn)證平臺(tái)和c程序中。

首先是使用腳本語(yǔ)言自動(dòng)產(chǎn)生隨機(jī)種子。使用的語(yǔ)言可以多種多樣，比如perl，shell或者python。產(chǎn)生隨機(jī)種子的方式也很多，一般采用跟linux時(shí)間相關(guān)，或者是linux時(shí)間和當(dāng)前cpu進(jìn)程數(shù)的組合。

其次是將隨機(jī)種子傳遞到驗(yàn)證平臺(tái)和c程序中，當(dāng)下主流的soc驗(yàn)證都會(huì)將隨機(jī)種子傳遞到驗(yàn)證平臺(tái)，以產(chǎn)生隨機(jī)的systemverilog激勵(lì)。本發(fā)明最關(guān)鍵的操作是將同一隨機(jī)種子傳遞到c程序中。傳遞方式比較方便的是采用c語(yǔ)言宏的方式，即，在c程序編譯的時(shí)候，通過(guò)添加選項(xiàng)-dc_seed＝<seed>。這樣則在c程序中添加了一個(gè)宏c_seed，其值為隨機(jī)種子。

然后在c程序中使用該隨機(jī)種子，比如srand(c_seed)，此時(shí)c語(yǔ)言設(shè)置了隨機(jī)種子，之后調(diào)用隨機(jī)函數(shù)將在此隨機(jī)種子的基礎(chǔ)上產(chǎn)生。因此后續(xù)c程序中如果想要產(chǎn)生隨機(jī)數(shù)據(jù)，可以直接使用c語(yǔ)言rand()函數(shù)。如果還想對(duì)數(shù)據(jù)進(jìn)行約束，可以在c程序中通過(guò)編程添加約束。

最后驗(yàn)證平臺(tái)根據(jù)這些隨機(jī)激勵(lì)進(jìn)行仿真。

通過(guò)上面描述的方式進(jìn)行soc驗(yàn)證，全都可以通過(guò)腳本一次編譯完成，無(wú)需另外步驟，因此使用起來(lái)非常方便高效。同時(shí)，由于每次c程序輸入的隨機(jī)種子都是不一樣的，因此可以認(rèn)為c程序rand()函數(shù)產(chǎn)生的數(shù)據(jù)也是隨機(jī)的，因此做到了真正意義上的隨機(jī)。如果再配合以不同的隨機(jī)種子并行進(jìn)行soc仿真，將大大提高soc驗(yàn)證的效率和覆蓋率。而且，如果soc仿真出現(xiàn)錯(cuò)誤，由于驗(yàn)證平臺(tái)和c程序都使用了同一隨機(jī)種子，完全可以使用此種子再次跑仿真來(lái)復(fù)現(xiàn)問(wèn)題，debug，以及確認(rèn)問(wèn)題是否解決。

綜上所述，本發(fā)明解決了傳統(tǒng)soc驗(yàn)證隨機(jī)技術(shù)上的缺陷，使用上方便高效，并做到了真正的隨機(jī)，如果配合以不同隨機(jī)種子并行soc仿真，勢(shì)必將大大提高soc驗(yàn)證的效率。

以上所揭露的僅為本發(fā)明一種實(shí)施例而已，當(dāng)然不能以此來(lái)限定本之權(quán)利范圍，本領(lǐng)域普通技術(shù)人員可以理解實(shí)現(xiàn)上述實(shí)施例的全部或部分流程，并依本發(fā)明權(quán)利要求所作的等同變化，仍屬于本發(fā)明所涵蓋的范圍。

技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開(kāi)了一種SoC自動(dòng)化隨機(jī)驗(yàn)證的方法，其特征在于通過(guò)腳本語(yǔ)言自動(dòng)生成隨機(jī)種子，將隨機(jī)種子分別輸入到C程序和SoC的測(cè)試激勵(lì)模塊；C程序根據(jù)輸入的隨機(jī)種子生成內(nèi)部需要的隨機(jī)數(shù)；測(cè)試激勵(lì)模塊根據(jù)生成的隨機(jī)種子隨機(jī)生成測(cè)試激勵(lì)，測(cè)試激勵(lì)實(shí)現(xiàn)SoC芯片的測(cè)試，通過(guò)檢測(cè)輸出判斷測(cè)試結(jié)果。結(jié)合了外部程序產(chǎn)生隨機(jī)數(shù)和內(nèi)部測(cè)試用例C程序產(chǎn)生隨機(jī)數(shù)的優(yōu)點(diǎn)，通過(guò)外部傳入隨機(jī)種子給內(nèi)部測(cè)試用例C程序產(chǎn)生隨機(jī)數(shù)據(jù)，簡(jiǎn)單方便高效，實(shí)現(xiàn)了自動(dòng)產(chǎn)生真正隨機(jī)數(shù)據(jù)的效果，大大提高了驗(yàn)證的覆蓋率和效率。

技術(shù)研發(fā)人員：李亮亮;楊崇朋
受保護(hù)的技術(shù)使用者：記憶科技（深圳）有限公司
技術(shù)研發(fā)日：2017.03.09
技術(shù)公布日：2017.08.04