微波EDA网,见证研发工程师的成长!
首页 > 研发问答 > 微电子和IC设计 > IC验证交流 > 在写约束时,如何实现两个数组之间大小的约束

在写约束时,如何实现两个数组之间大小的约束

时间:10-02 整理:3721RD 点击:
比如
rand int A[10];
rand int B[10];
如何实现A[i] < B[i]这种约束条件?

constraint c {
foreach(A[i])
A[i] < B[i];
}

多谢,是这样的

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top