EEPW首頁(yè) >>
主題列表 >>
ifv
ifv 文章 進(jìn)入ifv技術(shù)社區(qū)
Unisys采用Cadence IFV形式驗(yàn)證器提高設(shè)計(jì)能力
- Cadence設(shè)計(jì)系統(tǒng)公司宣布，Unisys公司已經(jīng)將Cadence® Incisive® Formal Verifier( IFV)納入它的設(shè)計(jì)流程，以便進(jìn)行基于斷言的形式分析。利用Incisive Formal Verifier，Unisys在眾多場(chǎng)所提供先進(jìn)復(fù)雜的芯片時(shí)獲得了生產(chǎn)率的提高和整體質(zhì)量的改善。 作為Cadence Logic Design Team Solution之“Design with Verification”方法的一部分，Incisive Formal
- 關(guān)鍵字： Unisys IFV
| 共1條 1/1 1 |
ifv介紹
您好，目前還沒(méi)有人創(chuàng)建詞條ifv!
歡迎您創(chuàng)建該詞條，闡述對(duì)ifv的理解，并與今后在此搜索ifv的朋友們分享。 創(chuàng)建詞條
歡迎您創(chuàng)建該詞條，闡述對(duì)ifv的理解，并與今后在此搜索ifv的朋友們分享。 創(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