Global Sources
電子工程專輯
 
電子工程專輯 > EDA/IP
 
 
EDA/IP  

Mentor在台積電參考流程11版擴充低功率驗證功能

上網時間: 2011年05月04日     打印版  Bookmark and Share  字型大小:  

關鍵字:明導國際  Mentor  台積電  參考流程11版  低功率驗證工具 

明導國際(Mentor Graphics)宣佈已在台積電(TSMC)的參考流程11版中擴大低功率驗證功能的使用,以因應現今複雜積體電路(IC)的低功率功能驗證需求。Mentor低功率驗證工具套件包括 Questa 功能驗證平台、0-In CDC (時脈域交叉)和 0-In形式工具、以及 FormalPro 等效檢查(equivalence checking)工具。

明導國際總經理John Lenyo表示:「低功率需求是絕大部分我們雙方共同客戶的優先考量。這就是為什麼開發有效低功率設計驗證解決方案一直是我們的首要任務,同時我們也計畫將針對未來的參考流程計畫擴展與台積電之間的合作。」電源管理已成為大部分數位晶片和系統的最重要議題;可攜式系統必須盡可能延長電池壽命,同時幾乎所有的產品也都必須將熱量產生降至最低。

由於晶片必須在任何特定的開機時間內就能正確運作,因此主動式電源管理已為晶片設計和驗證帶來了新的挑戰。完整的功能驗證解決方案不僅能夠驗證電源管理架構,亦得將電源管理控制系統涵蓋在內。Questa功能驗證平台、0-In CDC工具、0-In形式工具和FormalPro工具的結合,可協助使用者解決所有的低功率驗證問題。

Questa功能驗證平台支援具功率意識(power aware)的RTL模擬和閘級設計,包括:支援統一功率格式(UPF,IEEE P1801)的功率意圖規範;電源管理架構和控制邏輯的準確建模;高效能模擬的UPF原生建置;自動插入聲明(assertion),以檢查電源管理錯誤;視覺化和電源管理行為的除錯。

FormalPro工具可在整個建置過程中,維持RTL設計的功率意圖,包括:RTL至邏輯閘(RTL-to-gate)和邏輯閘至邏輯閘(gate-to-gate)的功率意識等效檢查;具完整TCL 8.4解譯器的原生UPF語言處理,以取得多重產品UPF相容性和使用者配置;具功率+接地(PG)網表支援的Liberty 2.5庫相容性,以進行RTL到PG(RTL-to-PG)比較;PG網表探索(exploration)的完整原理圖支援。

0-In形式工具可實現主動式電源管理控制架構的完整驗證,包括:在無聲明條件下,自動確認設計邏輯問題;功率控制單元邏輯和功率控制訊號序列的完整驗證。0-In CDC工具可實現低功率設計中複雜時脈域交叉的驗證,包括自動確認時脈域和同步器、形式和以模擬為基礎的CDC驗證,以及自動亞穩態注入(metastability injection)。





投票數:   加入我的最愛
我來評論 - Mentor在台積電參考流程11版擴充低功率...
評論:  
*  您還能輸入[0]個字
*驗證碼:
 
論壇熱門主題 熱門下載
 •   將邁入40歲的你...存款多少了  •  深入電容觸控技術就從這個問題開始
 •  我有一個數位電源的專利...  •  磷酸鋰鐵電池一問
 •   關於設備商公司的工程師(廠商)薪資前景  •  計算諧振轉換器的同步整流MOSFET功耗損失
 •   Touch sensor & MEMS controller  •  針對智慧電表PLC通訊應用的線路驅動器
 •   下週 深圳 llC 2012 關於PCB免費工具的研討會  •  邏輯閘的應用


EE人生人氣排行
 
返回頁首