EEPW首頁(yè) >>
主題列表 >>
verdi3
verdi3 文章 進(jìn)入verdi3技術(shù)社區(qū)
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)建該詞條，闡述對(duì)verdi3的理解，并與今后在此搜索verdi3的朋友們分享。 創(chuàng)建詞條
歡迎您創(chuàng)建該詞條，闡述對(duì)verdi3的理解，并與今后在此搜索verdi3的朋友們分享。 創(chuàng)建詞條
關(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)所有 北京東曉國(guó)際技術(shù)信息咨詢有限公司
京ICP備12027778號(hào)-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國(guó)際技術(shù)信息咨詢有限公司
京ICP備12027778號(hào)-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473