synplify综合后如何做形式验证和用modelsim进行仿真

lhm1003 · 发表于 2011-4-7 11:36:09

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

x

1、synplify综合后如何做形式验证，是否也是需要用formality工具？
2、synplify综合后如何用modelsim进行仿真，即综合后仿真？

还请知道的帮忙解答一下哈，谢谢

acgoal · 发表于 2011-4-7 20:22:30

形式验证可以用和ASIC一样的方法来做。
综合后仿没做过，帮不了忙了。

shako_jin · 发表于 2011-4-8 13:35:39

talent8031 · 发表于 2011-4-10 23:20:54

synplify 走不通formality的，上次问过技术支持的。这个流程还在开发中，目前还不完善。

lhm1003 · 发表于 2011-4-13 14:41:10

回复 2# acgoal

恩，是的，形式验证就那么几种工具。

看到ISE的translate这一步有产生形式验证的网表和仿真模型，形式验证还没做，估计就是用它产生网表再用formality等工具进行验证了，
仿真的话用它产生的模型再用modelsim仿真了。

lhm1003 · 发表于 2011-4-13 14:43:33

回复 4# talent8031

恩，是的，打算用translate步骤产生的形式验证网表再做形式验证了

speedUp · 发表于 2011-10-17 09:07:31

MARK~

odielpx · 发表于 2011-11-1 14:16:41

回复 1# lhm1003

对于综合后仿真.
synplify是会生成个vm文件的,这个就是综合后的门级网表,可以调用ISE里的unisim库来仿真

maomao110007 · 发表于 2012-3-28 16:35:58

过来学习一下

[求助] synplify综合后如何做形式验证和用modelsim进行仿真