formality形式验证的必要性

flyingsheep · 发表于 2013-3-28 19:13:39

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 flyingsheep 于 2013-4-3 14:55 编辑

最近在学IC设计流程，做了一个设计DC综合加约束并进行STA分析（DC自带的STA，不是PT），然后用VCS仿真生产的设计网表，看波形得知功能时序均正确，但是有用formality进行了一下一致性检验，结果网表和rtl代码却不一致（读入了dc生产的svf文件），有一些unmatched地方，不知道这是什么情况，难道是使用方法不对？对应IC设计一定要formality检查通过吗？
另外下一步是不是就可以布图布线了？

Timme · 发表于 2013-3-28 19:24:36

fm最主要的功能，是用来检查版本。。。

flyingsheep · 发表于 2013-3-28 20:13:45

回复 2# Timme

不懂，什么版本

教父 · 发表于 2013-3-28 23:12:23

formality 一般是用来对比两个代码的功能是否一致，两个代码可以是修改后对比修改前的或者是综合后网表和原始RTL 的功能对比。就你所说的情况你要仔细研究，出问题是多方面的。针对是否可以布局布线的问题，只要综合环境偶没有setup的违例就可以交由后端布局布线了

snq31418 · 发表于 2013-3-29 10:20:35

回复 2# Timme

FM的最后一步，不是verify吗？应该只要verify succeed就OK吧。

不知道我说的是否正确。求指教。

flyingsheep · 发表于 2013-3-29 18:58:16

回复 5# snq31418

按照我的理解，formality只要验证valid作用就算完成了，当然验证设计正确与否还要靠vcs的功能和时序仿真

zzczx · 发表于 2013-4-3 06:42:16

unmatc有些是正常的，譬如ref中有而没有实际使用被综合器优化掉的，imp中找不到就unmatch了。这样的可以不管

flyingsheep · 发表于 2013-4-3 17:07:34

回复 7# zzczx

我遇到的问题的原因是运行fm前dc没关，好像导致加载的svf文件有问题，很多rejected

s19812500 · 发表于 2013-4-3 23:24:11

形式验证

Gary.wang · 发表于 2013-4-7 12:25:09

形式验证和STA原则上可以完全取代网表仿真

[解决] formality形式验证的必要性

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

浏览过的版块

站长推荐 /2