基于OVM的SoC驗證平臺的設(shè)計與實現(xiàn).pdf

1、隨著 SoC設(shè)計規(guī)模和復(fù)雜程度的不斷提高，其驗證工作日益復(fù)雜，驗證周期也越來越長，已經(jīng)占到整個芯片設(shè)計的70％左右甚至更高，已成為 SoC設(shè)計的主要瓶頸。因此縮短產(chǎn)品的設(shè)計周期，減少驗證時間，提高驗證工作的效率和質(zhì)量成為當(dāng)務(wù)之急。為了提高驗證效率，就需要盡可能的提高驗證系統(tǒng)的抽象級別、增強驗證平臺的可重用性以及提高驗證過程的自動化程度。
　　本文通過對當(dāng)前常用驗證技術(shù)優(yōu)缺點分析的基礎(chǔ)上，詳細(xì)分析和研究了新興的OVM驗證方法學(xué)。該驗

2、證方法學(xué)是一種集基于事務(wù)級建模，基于斷言和基于覆蓋率驅(qū)動為一體的高級驗證方法學(xué)，可以實現(xiàn)高效率、高覆蓋率、驗證過程高度自動化以及可重用性高的驗證平臺。本文對 OVM驗證環(huán)境組件 OVC、類庫結(jié)構(gòu)以及 OVM的通訊機制和互連機制進(jìn)行了深入的分析和研究。
　　本文還以 OVM驗證方法學(xué)為指導(dǎo)，根據(jù)對待測設(shè)計跟蹤系統(tǒng)的結(jié)構(gòu)和功能特性的分析，搭建了基于 OVM的驗證平臺。并根據(jù)制定好的驗證情景，采用了事務(wù)級建模、基于斷言和基于覆蓋率驅(qū)動等