打印

版主们看过来,一个约束分组问题

[复制链接]
2978|27
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
edacsoft|  楼主 | 2011-12-7 15:43 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
X家给的一个例子,ucf中有如下约束:
timespec tsapa00 = from ffs(apa0/chfoundc) to ffs(apa0/sm) = tsrx00/2 ;
用PA观察约束结果如图:

ffs(apa0/chfoundc)存在,但是ffs(apa0/sm)并不存在。
apa0/sm是一个net.为什么不报错呢?

对分组的语法不甚了解,请指教谢谢。

相关帖子

沙发
GoldSunMonkey| | 2011-12-7 16:21 | 只看该作者
应该是存在的才对啊。
是你写的?还是工具生成的?

使用特权

评论回复
板凳
edacsoft|  楼主 | 2011-12-7 16:31 | 只看该作者
这个例子是Xapp485
附件是模块apa0对应的vhdl源码
在PA中确实只有net apa0/sm,而无FF apa0/sm
fd_sm0 : fd port map (c => rxclk, d => sm_d, q => sm) ;
sm是工具认为的“apa0/sm”代表的FF的输出。 auto_phase_align_s3e.rar (3.24 KB)

使用特权

评论回复
地板
edacsoft|  楼主 | 2011-12-7 16:35 | 只看该作者
我怀疑UCF中写ffs(apa0/sm_d),工具也会认成fd_sm0 而不报错
不知那篇文档说这个事。

使用特权

评论回复
5
edacsoft|  楼主 | 2011-12-7 16:44 | 只看该作者
UCF中写ffs(apa0/sm_d),工具会报错。
写成ffs(apa0/fd_sm0)等同于ffs(apa0/sm)

使用特权

评论回复
6
edacsoft|  楼主 | 2011-12-7 16:45 | 只看该作者
我的ISE版本11.5

使用特权

评论回复
7
GoldSunMonkey| | 2011-12-7 16:53 | 只看该作者
这个可以说是线延时,分组。我感觉时说分组这条线的延时是那么多

使用特权

评论回复
8
edacsoft|  楼主 | 2011-12-7 17:26 | 只看该作者
我想知道apa0/sm是一个net名,
为什么ucf中可以写成ffs(apa0/sm)

使用特权

评论回复
9
GoldSunMonkey| | 2011-12-7 17:30 | 只看该作者
这个约束,这种语法我真没用过。不过感觉是说通过这条线到达这个寄存器的意思。

使用特权

评论回复
10
ertu| | 2011-12-7 21:51 | 只看该作者
还有猴版没用过的?

使用特权

评论回复
11
ertu| | 2011-12-7 21:52 | 只看该作者
:lol

使用特权

评论回复
12
GoldSunMonkey| | 2011-12-7 22:03 | 只看该作者
还有猴版没用过的?
ertu 发表于 2011-12-7 21:51

太捧我了

使用特权

评论回复
13
GoldSunMonkey| | 2011-12-7 22:07 | 只看该作者
:lol
ertu 发表于 2011-12-7 21:52

;P

使用特权

评论回复
14
fliger| | 2011-12-8 12:13 | 只看该作者
路过

使用特权

评论回复
15
firexxxx| | 2011-12-8 14:54 | 只看该作者
进来看看

使用特权

评论回复
16
GoldSunMonkey| | 2011-12-8 15:47 | 只看该作者
怎么没有说法了?

使用特权

评论回复
17
edacsoft|  楼主 | 2011-12-8 16:54 | 只看该作者
猴哥,我这个问题可用相关资料 or 上xilinx官网该搜索哪个关键词
btw 在等几天我到webcase上问

使用特权

评论回复
18
娃娃啊哇| | 2011-12-8 17:06 | 只看该作者
13# GoldSunMonkey 猴版,厉害啊,呵呵

使用特权

评论回复
19
GoldSunMonkey| | 2011-12-8 21:25 | 只看该作者
猴哥,我这个问题可用相关资料 or 上xilinx官网该搜索哪个关键词
btw 在等几天我到webcase上问
edacsoft 发表于 2011-12-8 16:54

参考这个~

cgd.pdf

2.74 MB

使用特权

评论回复
20
edacsoft|  楼主 | 2011-12-9 10:16 | 只看该作者
恩,问题解决了。这篇文档有个例子是这么说的:
NET "X" TNM_NET = BRAMS_PORTB( dob* ) groupB;
The TNM group groupB contains each B port driven by net X, if at least one output on that B port drives a signal matching the pattern dob*.
它说的是 B port drives a signal  而不是driven by a signal,
所以还真是ffs(apa0/fd_sm0)等同于ffs(apa0/sm)
因为FF apa0/fd_sm0的Q端net 就是sm

使用特权

评论回复
评分
参与人数 1威望 +2 收起 理由
GoldSunMonkey + 2 我很赞同
发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

44

主题

246

帖子

0

粉丝