VMM驗證方法學(xué)研究及USB驗證實踐.pdf

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

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