帳號:
密碼:
最新動態
 
產業快訊
CTIMES / 文章 /
驗證工具新時代:Ease-of-Use
專訪Synopsys行銷副總裁Bijan Kiani

【作者: 歐敏銓】   2002年04月05日 星期五

瀏覽人次:【5301】

《照片人物 Synopsys行銷副總裁Bijan Kiani》
《照片人物 Synopsys行銷副總裁Bijan Kiani》

目前產品上市的時程不斷被壓縮,這也造成設計者加速工作效率的需求,使得自動化的EDA設計工具愈形重要。在設計流程中,時序驗證和功能驗證是決定產出(tape out)風險的關鍵,但當晶片的製程技術已可生產百萬邏輯閘等級的單一晶片系統時,舊有的驗證方式面臨難以處理的窘境。


Synopsys行銷副總裁Bijan Kiani指出,傳統的動態模擬驗證(dynamic verification)在處理越複雜的晶片設計時,所產生的動態模擬向量越多,讓驗證的工作變得曠日廢時。因此為提高執行驗證工作時的生產力,靜態時序分析 (static-timing analysis) 以及功能驗證(formal verification)等靜態驗證(static verification) 輔助工具已成為處理高邏輯閘總數、高複雜度晶片設計的主流方案。


Bijan Kiani表示,功能驗證 - 特別是「一致性功能檢驗 (equivalence checking) 」的功能驗證方式,改以數學證明的方式檢驗前後兩個晶片設計的版本,以便決定其是否為邏輯等值,這讓設計者能夠在極短時間內驗證數百萬個匣道設計。由於具備增加生產力與降低重新製作投資的優點,「一致性功能驗證」已成為現今驗證不可或缺的一種方式。
...
...

使用者別 新聞閱讀限制 文章閱讀限制 出版品優惠
一般訪客 10則/每30天 5/則/每30天 付費下載
VIP會員 無限制 20則/每30天 付費下載
相關文章
您需要了解的五種軟體授權條款
AI助攻晶片製造
利用Time-of-Flight感測器開發3D手勢辨識
SLM晶片生命週期管理平台 形塑半導體智慧製造新層次
搶挖美國人才 中國期望在EDA產業彎道超車
comments powered by Disqus
相關討論
  相關新聞
» 豪威集團與飛利浦合作開發車內駕駛健康監測解決方案
» 格斯科技與筑波科技合作進行高階電池檢測
» Crucial擴展DDR5 Pro電競記憶體產品組合 為遊戲玩家提供更快速度
» 奧迪導入恩智浦UWB產品組合 實現免持汽車門禁
» NVIDIA乙太網路技術加速被應用於建造全球最大AI超級電腦


刊登廣告 新聞信箱 讀者信箱 著作權聲明 隱私權聲明 本站介紹

Copyright ©1999-2024 遠播資訊股份有限公司版權所有 Powered by O3  v3.20.1.HK8B14865YISTACUKT
地址:台北數位產業園區(digiBlock Taipei) 103台北市大同區承德路三段287-2號A棟204室
電話 (02)2585-5526 #0 轉接至總機 /  E-Mail: webmaster@ctimes.com.tw