SystemVerilog支持在约束内使用foreach循环,从而可以约束数组。
foreach构造迭代数组的元素,其参数是表示数组中单个实体的标识符。
下面显示的代码声明了一个静态数组,称为大小为5的数组。该数组可以包含5个元素,其中每个元素都可以使用从0到4的索引进行访问。
约束使用foreach循环遍历所有元素,并将每个元素的值分配给其索引的值。
class ABC; rand bit[3:0] a
京公网安备 11010502049817号