VMM驗(yàn)證環(huán)境和ESL模型已經(jīng)越來(lái)越多的應(yīng)用于芯片驗(yàn)證中，DPI接口提供了一種高效的方法使兩者協(xié)同工作，Synopsys I具也在這方面提供了很好的支持，本文討論了VMM和ESL模型通過(guò)DPI接口的數(shù)據(jù)交換在海思某項(xiàng)目里的具體應(yīng)用，說(shuō)明如何在基于VM的驗(yàn)證環(huán)境里集成ESL模型作為參考模型。

　　1.簡(jiǎn)介

　　在目前半導(dǎo)體產(chǎn)品面市時(shí)間要求高，系統(tǒng)設(shè)計(jì)不合理帶來(lái)的成本浪費(fèi)等各種挑戰(zhàn)面前，業(yè)界普遍采用ESL設(shè)計(jì)流程來(lái)提前進(jìn)行架構(gòu)有效性驗(yàn)證，并且增強(qiáng)全流程的驗(yàn)證重用技術(shù)來(lái)應(yīng)對(duì)挑戰(zhàn)。

　　VMM則是從驗(yàn)證方法學(xué)的角度實(shí)現(xiàn)了提高芯片的驗(yàn)證效率，縮短驗(yàn)證周期，提高驗(yàn)證可重用性的效果。

　　SystemVeri log標(biāo)準(zhǔn)的DPI接口提供了比PLI、VPI更高效，也更便捷的接口來(lái)實(shí)現(xiàn)VMM與ESL模型協(xié)同驗(yàn)證。

　　2. ESL模型

　　2.1.1 ESL模型概況

　　本文涉及的ESL模型由ANSI C實(shí)現(xiàn)。

　　ESL模型本身提供統(tǒng)-的對(duì)外接口供RTIL驗(yàn)證或其他應(yīng)用使用。主要包括寄存器的接口、表項(xiàng)接口、數(shù)據(jù)包接口以及采樣數(shù)據(jù)接口等。

　　所以，要使用ESL模型，必須有一個(gè)支持C語(yǔ)言，特別是支持C語(yǔ)言內(nèi)存操作的接口來(lái)實(shí)現(xiàn)對(duì)ESL模型的調(diào)用。