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

可適應FPGA最佳化功能的等效性檢查工具

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

關鍵字:OneSpin  360 EC-FPGA  等效性檢查  FPGA  ASIC 

目前,為了在FPGA上進行形式等效性檢查,設計師通常必須關閉合成工具所提供的循序最佳化功能。新創企業OneSpin Solutions公司即將推出的解決方案則由於支援這些最佳化措施,使FPGA等效性檢查變得更加實用。

雖然等效性檢查被廣泛用於ASIC設計中,但在複雜的FPGA應用上則遠落於後,部份原因在於很難處理像時序調整(retiming)這樣常見的FPGA合成最佳化功能。“FPGA的最佳化程度要比ASIC高許多,”OneSpin公司執行總監兼CTO Wolfram Buettner表示。

在組合式ASIC邏輯中,暫存器在合成前後通常是相同的,Buettner指出,只有暫存器之間的邏輯會被最佳化。但在FPGA合成後,暫存器將不再保持一致,因為有些暫存器會被最佳化。因此只提供邏輯的等效性是不夠的,還必須驗證有關暫存器的循序變化。

OneSpin公司脫胎於英飛凌科技(Infineon)公司的電路驗證環境部門。該公司2006年就推出了360 Module Verifier工具,該工具可檢測數位模組和IP中的功能錯誤。該公司還推出了用於ASIC設計的360 Equivalence Checker(EC)等效性檢查工具。

最新的360 EC-FPGA等效性檢查工具提供了ASIC檢查工具所具備的所有功能,包括支援FPGA中常用的循序最佳化功能。它能驗證RTL和後合成網表的功能等效性,以及閘級和後佈線FPGA網表的等效性。還可透過360 Module Verifier作進一步補充。

Buettner表示,360 EC-FPGA檢查工具是針對非常複雜的FPGA設計,也許會佔整個FPGA設計市場中最前面的10%。這一領域的設計師需要等效性檢查,他認為,但目前的工具只有在關閉合成最佳化功能時才能使用。

該產品可以處理目前所有的FPGA合成最佳化功能,Buettner指出。它支援Altera和Xilinx FPGA,並能與Synplicity公司的Synplify Pro和Altera公司的Quartus II合成工具一起使用。OneSpin聲稱,360EC-FPGA針對複雜設計的典型驗證時間大約是整個合成、佈局和佈線所需時間的10~30%。

OneSpin公司新任總裁兼CEO Peter Feist表示,360 EC-FPGA並不需要擴展腳本或輔助檔案,因此它能使FPGA設計流程保持高度自動化。該工具可以接受預合成和後合成網表並加以比較,採用‘直接按鍵’的方式操作,他指出。

360 EC-FPGA解決方案現已可供應,其價格對於FPGA設計工具來說雖然較高,但是,Buettner認為高階用戶將體認到360 EC-FPGA的價值,並獲得應有的投資回報。

目前為止,OneSpin公司的市場主要在歐洲,但該公司去年12月已在加州矽谷成立美國辦事處。


圖:360 EC-FPGA支援等效性檢查,可驗證時序最佳化功能。

作者:葛立偉




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


EE人生人氣排行
 
返回頁首