驗證方法學必須與複雜IP同步發展
作者: Roger Witlox, Ronald Heijmans, Chris Wieckardt

為了應對嵌入式向量處理器在設計和驗證方面的艱鉅挑戰，應該廣泛地利用隨機約束激勵、複雜的自動測試台環境、可執行的驗證計劃以及對能夠度量驗證過程的覆蓋率參量的依賴性。能夠自動執行回歸執行並精確地報告測試結果也很有用處。該方法被證實有助於我們目標的實現，其再使用能力對VD3204x等嵌入式向量DSP系列產品的進一步發展來說也至關重要。