前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >DC综合后的形式验证

DC综合后的形式验证

作者头像
数字芯片社区
发布2020-07-20 16:11:37
1.2K0
发布2020-07-20 16:11:37
举报
文章被收录于专栏:数字芯片数字芯片

作者:IC_learner,

来源:http://www.cnblogs.com/IClearner/

这里来讲一下formality的使用,貌似跟tcl和DC没有很强的联系;然而说没有联系,也是不正确的。在综合完成之后,可以进行形式验证。此外这里不是专门讲解formality的使用的,因此只会简单地实践一下它的用法。

  formality是Synopsys公司的形式验证工具,上一节我们得到了综合后的设计,这里我们就要验证综合后的设计和我们的RTL代码是否一致。

1、准备好RTL文件、综合优化后的文件以及带有优化映射信息的SVF文件:

2、书写相应地流程文件:

3、启动formality:

    fm_shell

对上面脚本不清楚的或者不懂的,可以使用man命令查看它的用法:

-->

-->

-->

-->

4、执行我们写的脚本

得到结果如下,说明验证通过了:

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-07-17,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 数字ICer 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档