为什么形式验证失败

sdwsh · 发表于 2011-1-17 11:58:58

说明你写的rtl有问题

jackertja · 发表于 2011-1-17 15:57:36

回复 11# sdwsh

这个是重用模块，之前工程都跑完了，流片都没问题。

sdwsh · 发表于 2011-1-17 16:15:56

6天流片就出来了，成功了。恭喜你。同时膜拜你的速度。

jackertja · 发表于 2011-1-18 09:19:57

回复 13# sdwsh

我是说上一次用这个模块的项目，流片回来没有问题。

盗墓者 · 发表于 2011-1-18 15:28:27

A file called default.svf is created automatically during compile,which records the "changes" that boundary optimization,register retiming and ungrouping make to the design. This file is readable by Formality,Synopsys'formal verification or equivalency checking tool.

[求助] 为什么形式验证失败

站长推荐 /2