台積電選用萊智科技的模型診斷器(Model Diagnoser)做為標準元件函式庫的品質確保工具

jiming

加州Santa Clara電—萊智科技股份有限公司今天宣布旗下模型診斷器(Model Diagnoser)已被台積電選用，作為公司標準元件函式庫(standard cell libraries)的品質確保工具。因具備窮舉法函蓋度、全自動及快速處理時間等優勢，Model Diagnoser可以讓工程師確認在任何的PVT（製程、電壓、溫度）下，其標準元件函式庫的模型品質。

8 y7 R( K& P. Y標準元件(standard cells)是架構系統單晶片設計的基礎。若標準元件函式庫被不正確的特性化或不適當的使用在新的PVTs，那麼整個系統單晶片設計的準確性將可能發生風險。Model Diagnoser之設計係用於診斷元件函式庫的.lib模型，且可以辨認”功能錯誤”(functional failures)及”易斷電部分”(easy to break parts)。Model Diagnoser可以分析元件內部、衡量細部的模擬結果，且能將問題做量化報告。一般來說，上述問題多導因於不正確的特性化所致。

台積電設計服務行銷處副處長Tom Quan表示：「在台積電90及65奈米的標準元件函式庫中，萊智科技的Model Diagnoser可以幫助定位出.lib模型的功能性問題所在，對於結果，我們感到很滿意。針對先進奈米科技，為了確保我們的函式庫的品質，我們會持續的與萊智科技合作。」

jiming

使用萊智科技專利的 SpiceCut科技，Model Diagnoser可以定位出元件內部的高風險點。基於元件的功能及狀態，Model Diagnoser可以窮舉地萃取出最適的狀態模式(state patterns)。根據模擬結果，.lib模型的所有設定時間(setup time)、持續時間(hold time)及最小脈衝寬度(minimum pulse width)都可獲得驗證。不僅是判斷功能錯誤，其他訊號完整性方面，如短時脈衝波干擾(glitches)及不定穩態(meta-stability)等，也都能精確的定義出來。此外，藉著自動調整容限，確認沒有功能錯誤及（或）訊號完整性問題，如此，Model Diagnoser也可以修復有問題的.lib模型。
1 Y) b8 m" l" g1 I: C5 G0 \: q4 e4 }! y
4 Z1 H3 t  T4 |2 J0 [$ E9 p萊智科技總裁兼執行長魏游邦先生表示：「標準元件函式庫的品質對於系統單晶片設計的矽製成功有至為攸關的影響。」「因選用萊智科技的Model Diagnoser，台積電已獲得一個能確保其標準元件函式庫品質的領先方案。我們很樂意與台積電密切合作，以達成他們在協助客戶端系統單晶片設計上的高品質函式庫需求。」
: d# D4 x7 U. x6 L) x; E2 l
" n* @# J  _  {# d" _  \: e5 z關於萊智科技
萊智科技股份有限公司是提供電路模擬軟體的卓越供應商, 和系統單晶片設計半導體IP元件庫特性化分析。萊智科技的元件庫特性化套裝軟體，尤重產量與產值，可同時大幅節省特性化分析與偵錯過程所耗用的時間。其中CharFlo-Memory! 是針對IP記憶體所設計；CharFlo-Cell!則是針對標準元件及輸入輸出函式庫所設計，可同時大幅節省特徵分析與偵錯過程所需耗用時間。Model Diagnoser可針對元件函式庫做品質確保及瑕疵修復。
+ Y: A* \3 R8 j! N
9 J. e! E4 _4 u# `; N. Z6 xMSIM是萊智科技旗下高精準的SPICE電路模擬器，同時具備高速度及極佳收斂環境。Turbo-MSIM是萊智科技所研發的晶片Fast-Spice模擬器，非常適合時程模擬、功率模擬以及混合訊號(mixed-signal)電路驗證。MSIM及Turbo-MSIM兩模擬軟體皆可滿足奈米科技所需之物超所值及質量優異的服務水準。若需要更多資訊，請上www.LegendDesign.com。