新聞中心

EEPW首頁 > 模擬技術(shù) > 設(shè)計應(yīng)用 > 基于OVM驗證平臺的IP芯片驗證

基于OVM驗證平臺的IP芯片驗證

作者: 時間:2012-06-22 來源:網(wǎng)絡(luò) 收藏

 的工作量約占整個芯片研發(fā)的70%,已然成為縮短芯片上市時間的瓶頸。應(yīng)用方法學(xué)搭建SoC設(shè)計中的DMA IP驗證平臺,可有效提高驗證效率。

本文引用地址:http://m.butianyuan.cn/article/186197.htm

  隨著集成電路設(shè)計向超大規(guī)模發(fā)展,工作的難度在不斷增大,驗證的工作量已經(jīng)占到整個SoC研發(fā)的70%左右,直接影響到芯片上市的時間,因此提高芯片驗證的效率已變得至關(guān)重要。利用的層次化、隨機約束等特點,能有效提升現(xiàn)有的驗證方法,提高環(huán)境激勵和監(jiān)測的層次、加快覆蓋率達(dá)成進程,從而加快驗證速度。

  驗證平臺

  OVM是Mentor Graphics和Cadence Design System共同提出完全開放的驗證方法學(xué),致力于提供給設(shè)計和驗證工程師一個抽象層次更高的驗證環(huán)境。OVM提供了豐富的庫類和高級驗證技術(shù),實現(xiàn)驗證平臺從模塊級到系統(tǒng)級的復(fù)用,并可在多個廠家的方針驗證平臺上運行。

  OVM驗證平臺采用層次化的結(jié)構(gòu),共分為五層,分別為DUT、傳輸層、Operational、分析層以及控制層。其中最底層為DUT,即需要驗證的帶Pin級接口的IP或SoC設(shè)計。在DUT層次之上為傳輸層,該層用于連接Pin級DUT與傳輸層。在傳輸層之上的所有組件均為基于事務(wù)傳輸層的組件。事務(wù)傳輸層的引入可以讓驗證環(huán)境的設(shè)計擺脫實際DUT信號接口的約束,使上層信息的傳遞更加高效快捷。從傳輸層起,每一層均由不同的事務(wù)組件組成,例如分析層由覆蓋率搜集、性能分析、記分板、參考模型等組件組成,不同層次的所有組件相互作用,形成了一個層次化的、可以重用的驗證環(huán)境。

  在基帶SoC芯片中,DMA模塊負(fù)責(zé)SoC系統(tǒng)中數(shù)據(jù)的搬移,該模塊有AHB Master接口及AHB Slave接口,其中AHB Slave接口用于CPU對DMA的功能進行配置,而AHB Master接口則負(fù)責(zé)數(shù)據(jù)讀取與寫入,模塊中設(shè)置FIFO用于緩存DMA交互數(shù)據(jù)。

  OVM驗證平臺中的基礎(chǔ)組件一般包括driver、sequencer、sequence、monitor,將這些組件在ovm_agent中實例化,多個ovm_agent在ovm_env中實例化,同時為了實現(xiàn)自對比機制,在ovm_env中需要實例化scoreboard,最后在ovm_test這種類型的組件中實例化ovm_env并指定環(huán)境中各agent的sequencer所對應(yīng)的sequence。

  OVM環(huán)境中各組件通過傳輸層接口進行相互連接,在這種傳輸層接口中傳遞的就是傳輸數(shù)據(jù)。OVM已經(jīng)定義好了傳輸層接口,我們只需要進行實例化就可以了。傳輸數(shù)據(jù)是對物理接口(即IP接口)的抽象,將IP接口進行抽象后使用OVM中的組件進行高層次處理。

  該IP有兩種接口,一是標(biāo)準(zhǔn)的AHB Master接口,二是標(biāo)準(zhǔn)的AHB Slave接口。針對這兩種接口需要定義兩種類型的傳輸數(shù)據(jù),OVM中通過擴展ovm_transaction類來定義我們自己需要的傳輸數(shù)據(jù)。支持使用systemverilog的約束機制在上述兩種傳輸數(shù)據(jù)中進行隨機化約束。比如根據(jù)該IP的規(guī)格,可以在ahbm_pkt中約束hsize為2’b00~2’b10隨機,addr為32’h0000_0000~32’hFFFF_FFFF隨機。

  為了對驗證效果進行評估,需要做功能覆蓋率的搜集,該部分代碼做到scoreboard中,使用systemverilog的covergroup來搜集驗證到的功能點。

  在借用事務(wù)交易及接口構(gòu)建模塊化、可重用的驗證組件后,利用各組件的類庫創(chuàng)建隨機激勵和序列,并將激勵與序列轉(zhuǎn)換為DUT的接口行為;使用斷言、scoreboard等判斷DUT行為的正確性;與此同時搜集和分析功能覆蓋率、代碼覆蓋率等信息。在驗證的過程中我們通過控制輸入激勵的變量、增加錯誤注入信息,以保證系統(tǒng)在錯誤狀態(tài)下做出正確反映。

  在越來越高的抽象層次上進行驗證是當(dāng)前驗證方法學(xué)的主要趨勢。通過構(gòu)建基于OVM層次化IP驗證平臺,驗證了基帶SoC芯片DMA IP的所有功能,并達(dá)到100%的功能驗證覆蓋率。采用OVM的驗證方法僅需對層次化架構(gòu)中的組件進行擴展或重用,大大提高了SoC芯片的驗證效率,從而縮短了整個項目的研發(fā)周期。目前該項目已流片成功。

pic相關(guān)文章:pic是什么




關(guān)鍵詞: OVM 芯片驗證

評論


技術(shù)專區(qū)

關(guān)閉