VMM驗(yàn)證方法學(xué)研究及USB驗(yàn)證實(shí)踐.pdf

1、集成電路經(jīng)過(guò)幾十年的發(fā)展，設(shè)計(jì)規(guī)模越來(lái)越大，功能日趨復(fù)雜。這種情況給驗(yàn)證工作帶來(lái)了極大的挑戰(zhàn)。產(chǎn)業(yè)內(nèi)為了應(yīng)對(duì)這種挑戰(zhàn)，不斷開(kāi)發(fā)新的驗(yàn)證技術(shù)，發(fā)明新的驗(yàn)證語(yǔ)言，針對(duì)復(fù)雜設(shè)計(jì)提出新的驗(yàn)證方法學(xué)。本文以如今業(yè)內(nèi)流行的SystemVerilog語(yǔ)言作為研究工具，對(duì)業(yè)內(nèi)最新提出的VMM驗(yàn)證方法學(xué)的實(shí)現(xiàn)進(jìn)行研究，并通過(guò)USB IP核的驗(yàn)證完成方法學(xué)的實(shí)踐。本文意在研究新的驗(yàn)證方法學(xué)，掌握主流驗(yàn)證技術(shù)的發(fā)展趨勢(shì)。
　　 本文首先對(duì)AISC前端

2、驗(yàn)證中使用的技術(shù)進(jìn)行深入討論，并對(duì)業(yè)內(nèi)使用的驗(yàn)證語(yǔ)言的特點(diǎn)進(jìn)行歸納總結(jié)。這些內(nèi)容是高級(jí)驗(yàn)證方法學(xué)和SystemVerilog語(yǔ)言存在的基礎(chǔ)。本文隨后對(duì)SystemVerilog語(yǔ)言和VMM驗(yàn)證方法學(xué)進(jìn)行了深入研究。通過(guò)對(duì)二者的深入剖析，理解面向?qū)ο蟮木幊谭椒ê蚔MM驗(yàn)證方法學(xué)的四個(gè)重要特點(diǎn)，即抽象化、自動(dòng)化、重用性強(qiáng)和斷言。最后，本文使用VIP搭建了基于VMM驗(yàn)證方法學(xué)的驗(yàn)證平臺(tái)，并通過(guò)該平臺(tái)對(duì)USB IP核進(jìn)行了驗(yàn)證實(shí)踐。本文的驗(yàn)證結(jié)