??????? 本文首先介紹RVM驗證方法學和覆蓋率驅動技術，然后詳細分析如何使用結合覆蓋率驅動技術的RVM驗證方法學對SOC(System On Chip)進行完備的功能驗證, 最后探討如何利用此方法學提高驗證的效率。
關鍵詞：
SOC, 被驗證模塊，功能模塊，RVM驗證方法學, RVM驗證平臺，覆蓋率驅動
???????? 隨著SOC 設計復雜度的不斷提高和設計規(guī)模的不斷增大，驗證已成為SOC 設計的瓶頸。由于驗證的不充分，流片后的芯片中可能存在致命缺陷，從而增加了設計的風險和設計重流片的成本。因此驗證越來越受到重視[5]。
在驗證過程中，驗證方法學扮演越來越重要的角色，高效的驗證方法學可以提高驗證的
效率，加快驗證的進程。傳統(tǒng)的驗證方法學對于驗證復雜的設計已經顯得力不從心，如何用最少的時間最少的物力去盡可能多的發(fā)現設計中存在的缺陷，需要引入新的驗證方法學。目前，RVM（Reference Verification Methodology）驗證方法學脫穎而出，它是基于分層結構驗證方法學，通過將驗證平臺分成功能不同的幾個層面，提高驗證平臺的重用性和抽象層次，更好的支持了激勵隨機產生，結果自動檢查，覆蓋率驅動等技術。覆蓋率是驗證的核心。通過對覆蓋率分析，才能確定驗證平臺是否對設計進行了完備的驗證。覆蓋率達到了我們預期的目標是驗證是否完成的重要量化標準之一。覆蓋率驅動技術是指以覆蓋率的提高為目的來引導編寫高效的測試例和測試平臺。
??????? 因此結合覆蓋率驅動技術的RVM 驗證方法學應用于SOC 的驗證過程中，將大大提高驗證的效率。