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

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

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