Conformal 逻辑等效性检查工具

随着设计复杂性不断增加,为满足对功耗、性能、面积和上市时间的苛刻要求,对设计进行形式验证是确保硅片设计成功的重要且必须的签核指标。

Cadence® Conformal® Logic Equivalence Checking Solutions 可为从 RTL到布局布线在内的设计流程提供形式等效性检查功能。

Conformal Smart LEC

Conformal Smart Logic Equivalence Checker (LEC) 是新一代等效性检查解决方案。借助大规模并行架构和自适应证明技术,Conformal Smart LEC 大大缩短了等效性检查周期,将 RTL-to-Gate检查加速了高达 20 倍。


Conformal 逻辑等效性检查工具
长按识别二维码查看详情
长按图片保存/分享
询盘

在线询盘 更多+
  • 联系人 *

  • 手机 *

  • 描述

  • 提交

  • 验证码
    看不清?换一张
    取消
    确定

咨询内容:


你还没有添加任何产品

加入成功
图片展示

联系我们

 

手       机:150 1385 6201

电子邮箱:business@pf-electric.com

地址:深圳市龙华区龙华街道富康社区富康商业广场8栋富康科技大厦7C

暂无链接

Copyright @ 深圳市福保电子科技有限公司 

添加微信好友,详细了解产品
使用企业微信
“扫一扫”加入群聊
复制成功
添加微信好友,详细了解产品
我知道了