电子工程专辑
UBM China

UNISYS利用Cadence IFV形式验证器,将基于断言的验证方法学纳入生产设计流程

上网日期: 2007年08月02日 ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:Cadence Incisive Formal Verifier? 形式分析? 验证模块设计?

Cadence设计系统公司近日宣布,Unisys公司已经将Cadence Incisive Formal Verifier纳入它的设计流程,以便进行基于断言的形式分析。利用Incisive Formal Verifier,Unisys在众多场所提供先进复杂的芯片时获得了生产率的提高和整体质量的改善。

作为Cadence Logic Design Team Solution之“Design with Verification”方法的一部分,Incisive Formal Verifier在Unisys设计前期发现了许多难以找到的功能性"臭虫",实现了更高的团队生产率并加速了项目的完成。逻辑设计师在验证环境搭建完成之前几个月就能够验证模块设计,从而获得了更快及更节省成本的全芯片验证。而且,设计前期团队开发的断言是可以在后端流程的模拟和加速/仿真中充分再利用的,这增加了可观察性,并带来更快的调试速度和整体上更短的验证周期。

“Incisive Formal Verifier已帮助我们更高效和更早地将我们的企业服务器推向市场,而且还降低了成本,”Unisys平台开发部副总裁Steve Guarrieri表示,“另外,它还帮助减少了因为功能边界问题而重新投片的风险,并且我们发现它可以轻松和广泛地配置于我们多个项目的标准产品流程中,包括我们最先进和最复杂的ASIC。”

Unisys团队报告了其在多个项目中的成功,其中包括一个高度复杂的ASIC设计。 Incisive Formal Verifier技术易于采用,并且对设计师友好,这进一步增强了基于Incisive Design Team Simulator及 Incisive Palladium Emulator的Unisys验证环境。当Unisys集成了全面的基于断言的“从规划到闭合”验证方法学后,它实现了生产率的显著提高。

“我们非常高兴地看到像Unisys这样的公司从Cadence Logic Design Team Solution 的前期验证技术中获益,”Cadence公司验证部门全球营销副总裁Steve Glaser表示,“Incisive Formal Verifier提供了完整的基于断言的‘从规划到闭合’验证方法学,可获得巨大的生产率和质量改进,而且对于想优化RTL生成和提高项目整体上市时间的设计团队,它提供了完美的工具。”






我来评论 - UNISYS利用Cadence IFV形式验证器,将基于断言的验证方法学纳入生产设计流程
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X