OVM验证的一个问题

llh1119

学习了！

macrohard

回复 8# hi_johnson


    The type of each loop
variable is implicitly declared to be consistent with the type of array index.


那请问是否可以在约束时将 loop variable 强制转换类型？


    constraint data_c {  foreach ( data [ i ] )  data == int' （i） ; }

hi_johnson

回复 12# macrohard


    i本身就是int型，就不用强制转换了吧。