- 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
