DC的版本和formal工具的版本对应问题影响比较结果

forestimber · 发表于 2010-10-27 17:06:04

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

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

x

据我所见，从DC0607包括08的版本综合出来的网表进行rtl2netlist的比较，如果用lec5.x或者fm0809都是没有问题的，其中lec由于没有svf的帮助，在进行乘法器的比较上很难。但是如果用design ware的乘法器，谁会怀疑它会出错呢？？！
但是这些formal工具的版本面对DC0906综合出来的网表则问题多多，不知道DC0906是否做了什么长足的改进。但使用lec9.x或者fm0906以上的版本则立刻解决。

zh123456789 · 发表于 2010-10-27 20:12:01

经验啊。

[原创] DC的版本和formal工具的版本对应问题影响比较结果

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

相关帖子

浏览过的版块

站长推荐 /1