求Synopsys公司的ABV软件

fire_bird · 发表于 2012-10-3 19:17:51

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

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

x

最近，有大牛上传了Mentor的questa formal，请问版主及各位高人，synopsys公司有没有类似做基于断言的形式验证工具？Formality可以么？好像formality用于比对网表等后期等效性检查吧？

我是新手，麻烦各位好心人指点一下！

飞扬紫百合 · 发表于 2012-10-4 08:28:50

本帖最后由飞扬紫百合于 2012-10-4 08:32 编辑

我也需要啊，formality目前也在用网表比对，可能其他功能还没用到。

Formality首先核对综合后的门级设计和综合前设计的RTL表达方式是否等效。随后当你对设计增加或者减少了一些逻辑功能(例如增加了扫描测试功能的线路,或者修改了时钟树线路)后,你可以再利用该工具进行核对。

fire_bird · 发表于 2012-10-5 09:28:40

谢谢！
谢谢指点！

求Synopsys公司的ABV软件

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

相关帖子

浏览过的版块

站长推荐 /2