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

Unisys采用Cadence IFV形式驗證器提高設(shè)計能力

  • 　　Cadence設(shè)計系統(tǒng)公司宣布，Unisys公司已經(jīng)將Cadence® Incisive® Formal Verifier( IFV)納入它的設(shè)計流程，以便進(jìn)行基于斷言的形式分析。利用Incisive Formal Verifier，Unisys在眾多場所提供先進(jìn)復(fù)雜的芯片時獲得了生產(chǎn)率的提高和整體質(zhì)量的改善。 　　作為Cadence Logic Design Team Solution之“Design with Verification”方法的一部分，Incisive Formal
  • 關(guān)鍵字： Unisys  IFV  
共1條 1/1 1

ifv介紹

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

熱門主題

樹莓派    linux   
關(guān)于我們 - 廣告服務(wù) - 企業(yè)會員服務(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