發布日期：2022-07-15 點擊率：52
基于仿真的先進的驗證在現在和可預見的將來都將保持主要芯片級驗證骨干的地位。但是占總驗證工作70%的模塊級驗證又如何呢？我們可以采用已經確認的驗證技術來回答下面這個基本的問題嗎-我能夠絕對肯定我的模塊/IP對于所有可能的方案都按照預期工作嗎？答案很簡單:不能。
隨著基于仿真的驗證的過度發展,EDA產業已經嘗試處理這種高風險局面。無論發展情況如何,功能驗證復雜性、成效和成本都正在增加；工具產量增益未能跟上日益增加的設計復雜性的步伐；漏錯率表明沒有任何緩和跡象。結果怎樣呢？重新設計和重新流片率保持著相當高的水平。
但是這就是喪失信心的理由嗎？當然不是。這里回顧一下十年前綜合驗證的情況。那時,門級仿真被新的形式驗證技術:等價性檢驗所替代。門級仿真是在驗證過程中開發一些案例來檢驗等價性。但這種方法存在一個問題,即案例的質量直接影響到等價性檢驗的質量。此外,門級仿真的運行速度通常非常慢,隨著數字設計的規模呈指數級增長,它的影響也越來越大。而解決這個問題的方法就是采用等價性檢驗,典型情況下,等價性檢驗工具還可以指明兩種描述之間在哪些地方存在不同。雖然思維模式的轉換需要新的工具、方法和技巧,但由于等價性檢驗已被證實可以提供相當出色的結果,因此等價性檢驗技術得到了廣泛采用。
等價性檢驗十年前是為綜合驗證所做的,現在完全的形式功能驗證是為數字模塊和IP做的。等價性檢驗是在數字集成電路開發過程中使用得一種方法,它的目標是證明一個電路的兩種描述具有完全一致的行為。與完全的基于仿真的驗證相比,這種驗證技術可以提供2～5倍的生產力,其完備性可確保100%的輸入方案覆蓋率和100%的輸出行為覆蓋率。毫無疑問,模塊將永遠按照預期要求工作。它提供了一個真正的功能簽收,這也是形式驗證最初的承諾。
不過,完全的形式驗證并不是針對所有功能驗證任務的萬靈丹。但是對于眾多數字模塊和IP而言,它在驗證質量、成果和成本方面提供了相當出色的結果。IP公司、SoC廠商和EDA產業可以通過采用完全的形式功能驗證顛覆近年來的趨勢。
作者:Peter Feist
總裁兼CEO
OneSpin Solutions GmbH公司
