sv绿皮书[5.14.3 在程序中修改对象] 是否有错？

ppeezz

感觉 sv绿皮书123页[5.14.3 在程序中修改对象] 说法有误？
大家一起讨论一下，主要是里面说“当你运行这段代码的时候，$display会显示很多不同的addr值，但是所有被传递的Transaction都有相同的addr数值”，我觉得不对啊！
由于没有找到中文版电子书，我上传的图片使用的是此书的英文版。

                               
登录/注册后可看大图

huaihui

这里应该是说传送的只有一个对象，这个对象会被随机化覆盖，而transmit如果花费仿真时间，那就只会传送最后一个随机数。

ppeezz

huaihui 发表于 2019-7-15 16:01
这里应该是说传送的只有一个对象，这个对象会被随机化覆盖，而transmit如果花费仿真时间，那就只会传送最后 ...

作者的本意我能理解，但是“当你运行这段代码的时候，$display会显示很多不同的addr值，但是所有被传递的Transaction都有相同的addr数值”
这句话是错的，实际情况是“所有被传递的Transaction也都是不同的addr值”

huaihui

你这样深究就没意思了  他是说transmitted ，而且后面他又补充了这个bug 是在transmitting时，transaction被覆盖。

探索的小蜗牛

同意楼主，个人感觉这个书上描述是错的，每一次传输，addr都会变化的

飞翔的马甲

探索的小蜗牛 发表于 2023-12-29 15:37
同意楼主，个人感觉这个书上描述是错的，每一次传输，addr都会变化的

一看你就没有完全理解，上面错误的做法中，transaction只有一份实例对象，随机了N次，改了N次addr值，transmit了N次（实际上是transmit了N次句柄），但这N个句柄都是指向同一份对象，所以这N次中，每一次修改addr的值，这N个句柄的addr值都会变成新的值，并且所有的addr都一样，因为只有一份实例对象。人家书中说的完全没错啊。

yorkt

是的每一個loop transmit的t的addr都不同
重點是沒用還好，但如果transmit task/function裡面有用fork join_any/join_none生成線程而且會用到t的話
那這所有的線程所用到的t都是同一個t，也就是這些線程執行時t.addr都會變成跟原來transmit進去時的不一樣。
例如

1. function void transmit(Transaction t);
   
2.     fork
   
3.         vif.addr[ch_i] = t.addr;
   
4.     join_none
   
5. endfunction
   

复制代码

這樣不能確保vif.addr[ch_i]會被設成呼叫transmit時的t.addr.

探索的小蜗牛

飞翔的马甲 发表于 2024-1-4 15:58
一看你就没有完全理解，上面错误的做法中，transaction只有一份实例对象，随机了N次，改了N次addr值，tra ...

这N个句柄都是一样的，指向同一个对象的，里面的addr变了n次，你怎么会说addr不变呢

飞翔的马甲

探索的小蜗牛 发表于 2024-1-5 19:19
这N个句柄都是一样的，指向同一个对象的，里面的addr变了n次，你怎么会说addr不变呢
...

我说了addr不变了吗？英文原文说了addr不变了吗？你能看得懂英文不？？

飞翔的马甲

探索的小蜗牛 发表于 2024-1-5 19:19
这N个句柄都是一样的，指向同一个对象的，里面的addr变了n次，你怎么会说addr不变呢
...

你要搞明白这段代码的原始目的是啥，原始目的是通过repeat N次，生成N个addr不一样的transaction，但是因为代码错误，这N个句柄指向了同一份实例，所以尽管你随机了N次，但是任意一时刻，你这生成出来的m个（0＜m≤N）transaction，addr都是一样的，不管你随机几次，在任意一时刻，这些addr都是一样的，这么说明白了么？你再回头看看英文表述，有问题吗？