请教SVA sequence的用法，高手回答一下，急！！！

zjiner · 发表于 2009-7-1 16:01:10

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

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

x

请教高手：与时序相关的序列可以相互调用吗？下面s2序列中使用了s1，这种写法对吗？
sequence s1;
@(posedge clk) $fell(a) |-> (!a) [*2];
endsequence

sequence s2;
@(posedge clk) (s1 |=> a [*2]) [*4];
endsequence

sequence s3;
@(posedge clk) s2 |=> s2;
endsequence

sequence s4;
@(posedge clk) s2 |=> a [*8];
endsequence

property p1;
@(posedge clk)
s3 or s4;
endproperty

上面序列的写法有语法错误吗？去掉3个序列中的@(posedge clk)，只在property中定义时钟可以吗？
找了一些资料，没看到有这样使用序列的，小弟刚学，请高手指点一下，急！！！

zjiner · 发表于 2009-7-1 16:03:05

自己先顶一下
期待高手们的回答……
先谢了！

zjiner · 发表于 2009-7-1 17:11:44

序列中是不是不能使用蕴含操作符啊？

strayedcat · 发表于 2009-7-3 11:18:31

原帖由 zjiner 于 2009-7-1 17:11 发表

 登录/注册后可看大图

序列中是不是不能使用蕴含操作符啊？

蕴含操作符只能在property中使用，不能用在序列当中。
建议不要在序列中定义时钟。

qq11qq · 发表于 2009-7-3 23:27:49

序列中是不是不能使用蕴含操作符啊？

qq11qq · 发表于 2009-7-3 23:32:23

序列中是不是不能使用蕴含操作符啊？

pototao1023 · 发表于 2009-7-30 21:48:02

序列里是不能用蕴含的，在sequence或者property里最好只在一个里边加clock

oldlee11 · 发表于 2009-12-30 14:29:46

thinks
top

birdshanshan · 发表于 2009-12-30 20:02:00

序列里是不能用蕴含的，在sequence或者property里最好只在一个里边加clock
pototao1023 发表于 2009-7-30 21:48

登录/注册后可看大图

多谢，学习了。

comeon_lsl · 发表于 2012-9-22 08:33:29

学习了！

请教SVA sequence的用法，高手回答一下，急！！！

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

相关帖子