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

新型智慧引擎上市 形式驗証速度可大幅提升

上網時間: 2005年12月27日     打印版  Bookmark and Share  字型大小:  

關鍵字:Real Intent  Real  形式驗証  formal verification  引擎 

EDA供應商Real Intent公司日前宣佈,其Verix形式驗証產品根基──新的Convergence Engine在性能和功能上取得突破。該引擎據稱有兩大新型技術:「適應性編曲」,能根據特定驗証任務編排解算器的最佳配置,以及「二維壓縮」,即選擇設計一部份進行專攻,以使性能最大化。

該公司的CEO Prakash Narain表示:「這些是根本性的新技術。我不會說我們沒有受到學術研究的影響,但所有工作都是內部完成的。」Real Intent的產品包括從RTL代碼中擷取聲明並自動對其進行驗証的Verix Implied Intent Verification;可檢測與多時脈域相關的同步化錯誤的Verix Clock Intent Verification;令用戶自行驗証設計聲明的Verix Expressed Intent Verification。

在Verix 5.0版本中,這些產品都利用了新型的Convergence Engine。據稱Verix產品比以往產品在功能上改進10倍,性能也大幅增強,Narain表示。「以前很棘手的特色如今也能被處理了,」他說。例如,一個75萬閘的多媒體設計及特色規格語言在200秒內驗証完畢。46萬閘DSP設計開放驗証庫特色在10秒內完成。

(Richard Goering)





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


EE人生人氣排行
 
返回頁首