在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 5940|回复: 8

[求助] 对FPGA设计做formality过程中遇到的一点问题

[复制链接]
发表于 2011-10-30 18:39:51 | 显示全部楼层 |阅读模式

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

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

x
Synplify在对rtl网表进行FPGA综合时,会有一些正常的优化,比如对一些输出驱动比较多的D触发器会综合成两个D触发器,输入和输出逻辑一样的D触发器又会合并成一个。问题是,在对综合后的网表和rtl做形式验证时,formality似乎不兼容这些优化,在match的时候就会报unmatched point,如果无视这些unmatch,verify也会failed。碰到这种问题,该怎么办呢?
发表于 2011-10-30 22:35:24 | 显示全部楼层
FPGA的formal还不完善,还没见过有人做fpga的formal的,你是第一个,自己探索探索,记得分享经验啊
发表于 2011-10-31 09:54:24 | 显示全部楼层
DC在综合的时候也会优化,不过它有一个guide输出给formality用,synplify没有研究过,不晓得。楼主可以研究一番
发表于 2011-10-31 23:07:30 | 显示全部楼层
回复 1# odielpx


    synplify pro有个verification mode选项,可以生成类似DC的svf文件。formality可以读入指导比较。另外,synopsys私下有个脚本可以做这种文件的转换,可以非正式渠道要一下。

FPGA厂家对formality的支持还不是十分完善,有些DSP block除非显式调用,否则FPGA没有lib可供比较。
 楼主| 发表于 2011-11-1 14:14:06 | 显示全部楼层
回复 4# sandyhan


   确实是有个vif文件的,这个文件我看了下,是不能被formality直接调用的.我试了下,对于一些简单的优化,比如两个D触发器综合成一个D触发器,这些是可以通过观察vif文件,然后在formality中set_equivalence来解决.但是有些比较复杂一点的优化还是没办法解决.
   请问下,你说的非正式渠道是指什么呢?
发表于 2011-11-5 22:04:30 | 显示全部楼层
回复 5# odielpx


    私下跟synopsys的AE要。
发表于 2015-3-16 21:28:25 | 显示全部楼层
回复 4# sandyhan

是在Linux环境吗?window下怎么产生不了vif文件.我的版本是2013.03
发表于 2017-7-24 22:51:58 | 显示全部楼层
回复 4# sandyhan


   我没有生成verifi目录,也没有vif文件,我用的是2015.03的版本,请教下是怎么回事
发表于 2018-1-5 16:11:22 | 显示全部楼层
楼主,请问一下你做的怎么样了?有什么经验能够分享一下吗
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条


小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-14 23:21 , Processed in 0.031410 second(s), 10 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表