查詢結果分析
來源資料
頁籤選單縮合
題名 | 元件庫資料一致性驗證環境=Cell Library Coherence Checking Environment |
---|---|
作者姓名(中文) | 佟興无; | 書刊名 | 電腦與通訊 |
卷期 | 62 1997.09[民86.09] |
頁次 | 頁10-14 |
專輯 | 積體電路設計專輯 |
分類號 | 448.57 |
關鍵詞 | 元件庫; 設計驗證; 電腦輔助設計; 障礙模型; Library; Design verification; CAD; Fault model; |
語文 | 中文(Chinese) |
中文摘要 | 元件庫( Library )是構成設計的模組化基本單元, 也是自動化輔助演算法( CAD Algorithm )操作的基礎。如果元件庫發生錯誤,將對設計時程與設計品質產生嚴重的 負面影響。因此元件庫設計也應經過一定的驗證程序。在本文中將先說明元件庫的定義與元 件庫設計驗證的困難處。 接著將提出一個整合性的單一驗證環境,藉由模擬( Simulation )的方式達到自動化驗證元件不同模型資料的一致性。為了進一步減少測試向量的數目,我 們使用了一個針對元件庫資料一致性驗證的障礙模型( Fault Model ) --Port Order Fault,簡稱 POF。初步的模擬結果顯示 POF 可有效地減少功能測試向量的數目,同時還可 以偵測出模型時序資料不一致的情況。 |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。