DC 综合后的门级网表为什么通不过仿真

孤月飞星 · 发表于 2012-4-10 16:29:11

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

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

x

我综合了一个东西啊，看了综合出来的一些报告都是通过的，但是用门级网表仿真却出现问题，和原来的RTL仿真不一样。这主要是什么原因啊？

jun_dahai · 发表于 2012-4-10 16:41:55

formal verification结果怎么样?

孤月飞星 · 发表于 2012-4-10 16:47:30

RTL仿真是对的综合之后的门级仿真就有问题了，还没有加sdf做时序仿真。

argintang · 发表于 2012-4-10 16:53:38

建議看一下WARNING

jun_dahai · 发表于 2012-4-10 16:58:46

RTL仿真没有问题，不代表代码就没有问题，请楼主明白这点
我刚说了，你形式验证的结果怎么样？是否通过了？
另外，你检查过代码没有？有没有不可综合的部分？
还有，你查看综合log文件没有？有没有Error？有没有异常的Warning？
至少先确认了这些问题，才检查post-simulation到底怎么回事