请教一个uvm_do_with的问题

xiaoyeah · 发表于 2014-12-29 16:22:00

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

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

x

在一个sequence中，用config_db的方式得到了一个参数，暂且叫cmd_type,现在想把这个参数用于uvm_do_with，于是这样写
`uvm_do_with(trans, {trans.cmd_type == cmd_type;})，结果发现发出的trans中cmd_type的值并不是传递进来的值嘛。
请教各位大神，这是什么原因呢？如果这样写不行的话，应该怎么做呢
不甚感谢！！

A1985 · 发表于 2014-12-29 16:54:54

sv上下文问题。。。

seabeam · 发表于 2014-12-30 09:47:40

本帖最后由 seabeam 于 2014-12-30 09:49 编辑

回复 1# xiaoyeah
习惯不好，cmd_type换个名字，trans.a == b;不要trans.a == a;这样的形式

allencherry · 发表于 2014-12-30 12:24:32

路过不能够同名

zixin1hao · 发表于 2014-12-30 23:10:56

回复 4# allencherry

学习了！谢谢

vincentatpku · 发表于 2014-12-31 15:15:26

回复 1# xiaoyeah

这个问题的根本原因是，在uvm_do_with(trans,{trans.cmd_type == cmd_type})中，uvm优先搜索的域是在trans中搜索cmd_type, 所以换句话说，这个约束是一个无效约束，这句话等同于uvm_do_with(trans,{trans.cmd_type == trans.cmd_type})，这是一个恒成立的问题，所以压根就没有对cmd_type做出约束。因此，如果要有效约束，应该将cmd_type的名字换成另外一个，譬如这样写uvm_do_with(trans,{trans.cmd_type == cmd_type_val})，然后在tran的域中搜不到cmd_type_val这个变量值，然后在从外边得到这个变量值，从而实现有效约束

lanmei_happy · 发表于 2014-12-31 16:04:26

回复 6# vincentatpku 赞！～
之前也犯过类似的错误。

qw342333 · 发表于 2015-1-7 23:47:27

写成这样就好了：`uvm_do_with(trans, {trans.cmd_type == local::cmd_type;})

[求助] 请教一个uvm_do_with的问题

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

相关帖子

站长推荐 /2