首頁　 資訊　 商機 　 下載　 拆解 　 高校　 招聘 　 雜志　 會展　 EETV　 百科 　 問答　 電路圖　 工程師手冊 　 Datasheet　 100例 　 活動中心　 E周刊閱讀 　 樣片申請
EEPW首頁 >> 主題列表 >> verdi3

Synopsys發(fā)布Verification Compiler驗證編譯器使產能提升3倍

  • 　　亮點：　　·?包括靜態(tài)和形式驗證的新一代驗證技術，使性能提升了5倍　　·?將仿真、靜態(tài)和形式驗證，驗證IP(VIP)、調試以及覆蓋率技術完整地集成到同一個產品中，提高了性能和產能　　·?建在易于使用的Verdi3?調試平臺上全新的、先進的SoC調試功能提高了調試效率　　·?完整的低功耗驗證功能，擁有自帶的低功耗仿真、X-傳遞(X-propagation)仿真、新一代低功耗靜態(tài)校驗以及低功耗形式驗證　　·?將ARM??AMBA??4&
  • 關鍵字： Synopsys  SoC  ARM  DSP  Verdi3  

SpringSoft推出第三代偵錯平臺Verdi3

  • 全球EDA領導廠商SpringSoft公司，今天發(fā)表該公司第三代自動化IC設計偵錯產品。新的Verdi3產品讓用戶借由自定功能、定制環(huán)境以及增強工具間的互操作性來建立完整的IC偵錯平臺，該產品同時也具備新一代軟件架構以增加產品效能與容量的提升。
  • 關鍵字： SpringSoft  Verdi3  
共2條 1/1 1

verdi3介紹

您好，目前還沒有人創(chuàng)建詞條verdi3!
歡迎您創(chuàng)建該詞條，闡述對verdi3的理解，并與今后在此搜索verdi3的朋友們分享。    創(chuàng)建詞條

熱門主題

樹莓派    linux   
關于我們 - 廣告服務 - 企業(yè)會員服務 - 網站地圖 - 聯(lián)系我們 - 征稿 - 友情鏈接 - 手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
備案 京ICP備12027778號-2 北京市公安局備案：1101082052    京公網安備11010802012473