标签：
SV搭建testbench的关键概念：CRT(constraint random test)，测试集的随机化。
由于对象class由数据和操作组成，所以对数据的随机化一般放在一个class内。(对环境或环境的配置也可以反映在配置参数的随机化上)
一个constraint包括两部分：rand/randc变量声明，constraint约束块。其中randc会在重复之前，周期性取值，constraint约束块中的变量至少有一个rand/randc
变量，constraint约束块必须在{}内，用；来表示多个约束。约束块是一种声明性的代码，并行运行。
constraint的引用：一般在一个initial模块或program中引用，采用assert的形式来：assert( p.randomize() );随机化失败后，返回值为0，assert将会打印log，
并退出。还有两个隐性function：pre_randomize(),post_randomize(), 可以加入非randomize变量的初始化，同时留下hook。
几种约束方式：
1) constraint longth { low < mid;
mid < high;} //关系操作符必须分开来写
2)constraint length { len == mid - low;} //约束块内不能有赋值语句，相反应该用关系运算符
3)constraint c_dist { src_dist {0:= 40, [1:3]:=60;} //:=后表示权重---相等
dst_dist {0:/ 40, [1:3]:/ 60};} //:/后表示权重---比例
4)constraint c_rang { c inside {[lo:hi]}; //inside：low-high
b inside {[10:$]}; //$可以表示边界
!(c inside {[$:30]}); } //加()可以加！表示非
5)constraint c_io { (io_space_mode) --> addr[31]==1‘b1; //--->表示if
if (op==READ) len inside {[BYTE:WORD]}; } //--->if--else
6)constraint c_xy {(x==0) -> y==0; //solve..before可能改变解的概率
solve x before y;}
7)assert (t.randmize() with {addr > 50; //内嵌式的约束，addr的作用域是class这一级的，randomize的效果等价
addr < 150;} )
约束的开关控制：
initial begin
p = new();
p.c_short.constraint_mode(0); //句柄+约束块+mode，控制这个约束块mode
assert( p.randomize() );
transmit(p);
p.contraint_mode(0); //句柄+mode，控制整个句柄的mode
p.c_short.constraint_mode(1);
assert( p.randomize() );
transmit(p);
end
对数组的约束：
1)constraint d_size {d.size inside {[1:10]};
d.sum == 4‘h4; } //sum的位数与数组中的数的位数相同，所以又是可能达不到想要的范围。
在实际应用中，应该多用变量来控制约束。
标签：
原文地址：http://www.cnblogs.com/-9-8/p/4414449.html
