Global Sources
電子工程專輯
 
電子工程專輯 > 測試與測量
 
 
測試與測量  

Jasper發表Gold 4.2驗證系統 新增除錯功能

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

關鍵字:Gold 4.2  驗證系統  Jasper  形式驗證  除錯功能 

EDA新興公司Jasper推出Gold 4.2驗證系統,這是該公司形式驗證方案中的新成員,這款產品支援Verilog語言。新推出的Gold 4.2在驗證流程的每一步(包括規劃、預測、語言支援、引擎性能、可視化和除錯)都做了改進。

Gold 4.2新增了先進的除錯功能,以能執行PSL和聲明(assertion languages),這一新功能可自動顯示造成聲明失敗事件的多週期追蹤過程,該公司表示,可透過單個窗口將解釋聲明失敗的複雜PSL或SVA序列“一眼掃盡”。

Jasper指出,Gold 4.2所新增的可視功能可使用戶可視化影響錐(cone-of-influence)的結構視圖,並分析與具體除錯環節中某個特性相關的區塊。這款工具還包括了新的驗證引擎,據說較之前的舊版Gold可將某些性能提高30倍。Jasper Gold 4.2還具備另一個新的功能,稱之為“形式預測器”,可在驗證某項設計之前對其進行分析並生成其設計複雜性報告。

Jasper新推出的Gold 4.2驗證系統現已上市。該公司同時推出了GamePlan Verification Planner免費工具,可用來生成並追蹤驗證計劃進度。Jasper表示,這款免費工具將促進形式驗證和其它技術協同工作,它將在促進用以驗證的結構化方案中扮演重要角色。




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


EE人生人氣排行
 
返回頁首