EEPW首頁(yè) >>
主題列表 >>
ifv
ifv 文章 進(jìn)入ifv技術(shù)社區
Unisys采用Cadence IFV形式驗證器提高設計能力
- Cadence設計系統公司宣布，Unisys公司已經(jīng)將Cadence® Incisive® Formal Verifier( IFV)納入它的設計流程，以便進(jìn)行基于斷言的形式分析。利用Incisive Formal Verifier，Unisys在眾多場(chǎng)所提供先進(jìn)復雜的芯片時(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 )建該詞條，闡述對ifv的理解，并與今后在此搜索ifv的朋友們分享。 創(chuàng )建詞條
歡迎您創(chuàng )建該詞條，闡述對ifv的理解，并與今后在此搜索ifv的朋友們分享。 創(chuàng )建詞條
關(guān)于我們 -
廣告服務(wù) -
企業(yè)會(huì )員服務(wù) -
網(wǎng)站地圖 -
聯(lián)系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術(shù)信息咨詢(xún)有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權所有 北京東曉國際技術(shù)信息咨詢(xún)有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網(wǎng)安備11010802012473