Conformal 逻辑等效性检查工具
随着设计复杂性不断增加，为满足对功耗、性能、面积和上市时间的苛刻要求，对设计进行形式验证是确保硅片设计成功的重要且必须的签核指标。
Cadence® Conformal® Logic Equivalence Checking Solutions 可为从 RTL到布局布线在内的设计流程提供形式等效性检查功能。
Conformal Smart LEC
Conformal Smart Logic Equivalence Checker (LEC) 是新一代等效性检查解决方案。借助大规模并行架构和自适应证明技术，Conformal Smart LEC 大大缩短了等效性检查周期，将 RTL-to-Gate检查加速了高达 20 倍。
复制产品链接
长按图片保存/分享
询盘
联系我们
手 机：150 1385 6201
电子邮箱：business@pf-electric.com
地址：深圳市龙华区龙华街道富康社区富康商业广场8栋富康科技大厦7层C区
暂无链接
Copyright @ 深圳市福保电子科技有限公司
