<rt id="m4md3"></rt>
  • <bdo id="m4md3"><meter id="m4md3"></meter></bdo>
  • <label id="m4md3"></label>
      <center id="m4md3"><optgroup id="m4md3"></optgroup></center>
      產品分類

      當前位置: 首頁 > 人物訪談

      兌現形式驗證的最初承諾

      發布日期:2022-07-15 點擊率:35

      le="display: block;">功能驗證對上市時間、競爭力和盈利能力具有極大的影響,它是片上系統項目的一個大瓶頸。功能驗證包括兩大任務:一是確保SoC的模塊和知識產權(IP)按照預期工作,二是確保這些構建模塊的交互提供所需的芯片級功能。


      基于仿真的先進的驗證在現在和可預見的將來都將保持主要芯片級驗證骨干的地位。但是占總驗證工作70%的模塊級驗證又如何呢?我們可以采用已經確認的驗證技術來回答下面這個基本的問題嗎-我能夠絕對肯定我的模塊/IP對于所有可能的方案都按照預期工作嗎?答案很簡單:不能。

      隨著基于仿真的驗證的過度發展,EDA產業已經嘗試處理這種高風險局面。無論發展情況如何,功能驗證復雜性、成效和成本都正在增加;工具產量增益未能跟上日益增加的設計復雜性的步伐;漏錯率表明沒有任何緩和跡象。結果怎樣呢?重新設計和重新流片率保持著相當高的水平。

      但是這就是喪失信心的理由嗎?當然不是。這里回顧一下十年前綜合驗證的情況。那時,門級仿真被新的形式驗證技術:等價性檢驗所替代。門級仿真是在驗證過程中開發一些案例來檢驗等價性。但這種方法存在一個問題,即案例的質量直接影響到等價性檢驗的質量。此外,門級仿真的運行速度通常非常慢,隨著數字設計的規模呈指數級增長,它的影響也越來越大。而解決這個問題的方法就是采用等價性檢驗,典型情況下,等價性檢驗工具還可以指明兩種描述之間在哪些地方存在不同。雖然思維模式的轉換需要新的工具、方法和技巧,但由于等價性檢驗已被證實可以提供相當出色的結果,因此等價性檢驗技術得到了廣泛采用。

      等價性檢驗十年前是為綜合驗證所做的,現在完全的形式功能驗證是為數字模塊和IP做的。等價性檢驗是在數字集成電路開發過程中使用得一種方法,它的目標是證明一個電路的兩種描述具有完全一致的行為。與完全的基于仿真的驗證相比,這種驗證技術可以提供2~5倍的生產力,其完備性可確保100%的輸入方案覆蓋率和100%的輸出行為覆蓋率。毫無疑問,模塊將永遠按照預期要求工作。它提供了一個真正的功能簽收,這也是形式驗證最初的承諾。

      不過,完全的形式驗證并不是針對所有功能驗證任務的萬靈丹。但是對于眾多數字模塊和IP而言,它在驗證質量、成果和成本方面提供了相當出色的結果。IP公司、SoC廠商和EDA產業可以通過采用完全的形式功能驗證顛覆近年來的趨勢。

      作者:Peter Feist

      總裁兼CEO

      OneSpin Solutions GmbH公司

      下一篇: 手機有望實現無線視頻

      上一篇: Altera公布高清晰質量

      主站蜘蛛池模板: 国内偷自视频区视频综合| 国产激情综合在线观看| 久久久久久久综合日本| 香蕉国产综合久久猫咪| 国产成人亚洲综合色影视| 亚洲国产综合在线| 色综合色综合色综合| 精品久久人人做人人爽综合| 亚洲欧洲日韩综合| 亚洲色偷偷狠狠综合网| 天天在线天天综合网色| 色综合合久久天天给综看| 亚洲另类激情综合偷自拍图| 亚洲AV日韩综合一区| 免费精品99久久国产综合精品 | 亚洲熟女综合一区二区三区| 一本久道久久综合狠狠躁AV| 色欲久久久天天天综合网| 国产成人综合久久精品| 亚洲国产成人久久综合一区| 国产福利电影一区二区三区久久久久成人精品综合 | 亚洲国产欧美国产综合一区| 狠狠色丁香久久婷婷综合| 婷婷六月久久综合丁香76| 亚洲综合激情六月婷婷在线观看| 精品综合久久久久久88小说| 伊人久久大香线蕉综合热线 | heyzo专区无码综合| 国产成人久久综合热| 伊人色综合久久天天| 婷婷色香五月综合激激情| 久久综合亚洲色HEZYO国产| 一本大道AV伊人久久综合| 色综合久久久无码中文字幕波多 | 丁香五月天综合缴情网| 人妻一本久道久久综合久久鬼色| 亚洲综合精品第一页| 丁香五月天综合缴情网| 亚洲综合精品香蕉久久网| 99热婷婷国产精品综合| 国产亚洲综合网曝门系列|