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

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

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