I am trying to solve the below constraint but unable to get the right idea. So just randomizing the queue size in constraint block and solving in the post_randomize method the only solution? I even tried to replicate procedural solution in declarative way in constraint block but it is not working. …

That was meant to give you a hint to the approach. Generating a non-random series of numbers becomes trivial if you have a function that computes the kth element of the series. class A; function int series(int k); int n = 1; int t = 1; while (t < k) begin n++; t += n; …

Verification Academy

Constraint Pattern problem

SystemVerilog

constraint-randomization

dave_59 January 9, 2026, 6:45am 2

Constraint to print pattern 122333444455555 SystemVerilog

class pattern; rand int a[]; constraint c2 { a.size==6;} constraint c1 { foreach (a[i]) a[i]==(1*(i+1)*(10**(i+1)-1))/9;} endclass module m; pattern p; initial begin p=new; assert(p.randomize); foreach(p.a[i]) $display("pattern is %d",p.a[i]); end endmodule

1 Like

show post in topic

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled