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