Systemverilog constraints （CRV）

ws552111206 · 发表于 2017-9-24 19:55:18

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

我想random出16个memory region,

每个region使用start_addr 和end_addr 划分

怎样使用constraint 使16个region的addr范围没有重叠

jimbo1006 · 发表于 2017-9-25 12:15:12

假如你要求每个region要把所有的addr都遍历一遍：
1. 在0~15这个范围随机一次，先选出那个最开始的region(起始值最小的）
假如没有这个要求，跳过第一步；
2. 先是region1，先随2个值，一个是start_addr1, 一个是end_addr1:约束end_addr1要比start_addr1大
3.然后region2, 再随2个值，一个是start_addr2,一个end_addr2:约束start_addr2要比end_addr1大， end_addr2要比start_addr2大
4.循环下去，知道结束
这个方法的好处是思路清晰不容易错。你也可以照着这个思路先把关系理清楚，然后把他们揉到一起，只做一次约束。

不想起的猪 · 发表于 2017-9-27 09:30:42

一个randc实现了为什么要约束

zxm92 · 发表于 2017-10-23 17:41:14

回复 1# ws552111206

直接在这个region内random出16个不同addr，从小到大排列，依次两个一组就是start_addr end_addr

[求助] Systemverilog constraints （CRV）

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

浏览过的版块

站长推荐 /2