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

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

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

SpringSoft推出第三代偵錯(cuò)平臺(tái)Verdi3

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

verdi3介紹

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

熱門主題

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