[英]SystemVerilog constraint: constrain the read address has been written before
我想写一个约束来确保r_addr
只在相同的地址之前被用作w_addr
时才被允许,但是下面的约束不起作用。 你有什么建议吗?
class try;
rand int w_addr;
rand int r_addr;
int ua[$];
int aa[int];
constraint unique_addr_c{
aa.size() == 0 || aa.exists(r_addr);
}
endclass
module test;
try a;
initial begin
a=new;
repeat(20) begin
if(a.randomize);
$display("add=%0d", a.w_addr);
$display("add=%0d", a.r_addr);
a.ua.push_back(a.w_addr);
a.aa[a.w_addr] = 1;
end
end
endmodule
您要使用inside
运算符。
class try;
rand bit [31:0] w_addr;
rand int [31:0] r_addr;
bit [31:0] ua[$];
constraint unique_addr_c{
ua.size() >0 -> r_addr inside {ua};
}
function void post_randomize();
ua.push_back(w_addr);
endfunction
endclass
module test;
try a;
initial begin
a=new;
repeat(50) begin
if (!a.randomize) $error("randomization failed");
$display("wadd=%0d", a.w_addr);
$display("radd=%0d", a.r_addr);
end
end
endmodule
注意:您应该对地址使用无符号类型。 您的随机检查会产生错误。
戴夫的答案是一个很好的答案。
这是另一个使用队列而不是关联数组的队列。
class try;
rand int w_addr;
rand int r_addr;
int q[$];
function void post_randomize();
int sz;
int idx;
q.push_back(w_addr);
sz = q.size();
idx = $urandom_range(0, sz-1);
r_addr = q[idx];
endfunction
endclass
module test;
try a;
initial begin
a=new;
repeat(20) begin
a.randomize();
$display("sz=%0d w_addr=%x r_add=%x", a.q.size(), a.w_addr, a.r_addr);
end
end
endmodule
以下代码在 mentor 中有效,但在 synopsys 中无效
class bus;
rand bit [31:0] address;
rand bit rd_wr_en;
rand bit [1:0] interleaving;
endclass
class my_bus;
rand bus b1[20];
function new();
foreach(b1[n])
b1[n] = new();
endfunction
constraint c {
foreach (b1[n])
if (n>0)
if(b1[n-b1[n].interleaving].rd_wr_en ==1)
{
b1[n].address == b1[n-b1[n].interleaving].address;
b1[n].rd_wr_en == 0;
}
}
endclass
module tb;
my_bus b2;
initial begin
b2 = new();
repeat (10) begin
b2.randomize;
foreach(b2.b1[n])
$display ( "%p", b2.b1[n]);
end
end
endmodule
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.