Synopsys日前宣布:其Verification Compiler™驗證編譯器解決方案開始供貨,該款新產品代表了業內為系統級芯片(SoC)驗證技術和驗證路線圖描繪的一幅誘人前景。Verification Compiler是一種將新一代驗證技術集成到一起的完整產品組合,其中包括先進調試、靜態和形式驗證、仿真、驗證IP以及覆蓋率... (來源:新品頻道)
SynopsysVerification Compiler驗證編譯器 2014-3-24 14:27
Magma面向先進集成電路的全芯片綜合產品Talus® Design 1.1和Talus RTL 1.1正式面市。新版產品功能包括:GlassBox提取技術;增強的優化算法;支持ARM、MIPS和Imagination Technologies(見今天相關新聞發布)等領先IP提供商的RTL-to-GDSII參考流程;以及面向普遍使用的第三方可測性設計(DFT)和形式... (來源:新品頻道)
Magma增強版芯片綜合產品Talus Design 1.1Talus RTL 1.1 2009-12-14 14:22
Actel 獨資的子公司Pigeon Point Systems宣布,延續其xTCA 板級及模塊管理控制器產品的兼容性和互用性舉措。在2009 ATCA Summit會議上,Pigeon Point Systems使用Polaris Networks公司的ATCA測試器,現場對基于Actel Fusion® 混合信號FPGA和Renesas H8S微控制器的最新Pigeon Point管理解決方案xTCA... (來源:新品頻道)
Pigeon Point SystemsxTCA產品兼容性互用性 2009-11-30 14:16
Cadence設計系統公司宣布對其企業級驗證解決方案進行大幅度改良,這項舉措將會幫助項目與計劃負責人更好地管理復雜的驗證項目,從規格到閉合的整個過程都會有更高的透明度。通過這些改良,項目經理可以更為輕松地創建驗證計劃,提高其所管理項目指標的范圍與可調整性,并獨有地結合形式驗證、測試環境模... (來源:新品頻道)
Microsoft Word配合標準SQL數據庫指標驅動型驗證方法學 2008-9-11 14:08