- Cadence設計系統公司宣布，Unisys公司已經將Cadence® Incisive® Formal Verifier( IFV)納入它的設計流程，以便進行基于斷言的形式分析。利用Incisive Formal Verifier，Unisys在眾多場所提供先進復雜的芯片時獲得了生產率的提高和整體質量的改善。
作為Cadence Logic Design Team Solution之“Design with Verification”方法的一部分，Incisive Formal
- 關鍵字：
Unisys IFV
ifv介紹
您好，目前還沒有人創建詞條ifv!
歡迎您創建該詞條，闡述對ifv的理解，并與今后在此搜索ifv的朋友們分享。
創建詞條
關于我們 -
廣告服務 -
企業會員服務 -
網站地圖 -
聯系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網安備11010802012473
