Specman generate (for each in)

[loglong]

Hi,

In e language, i want generate array_my in [0..0xf] but the item in array don't overlap, does the following rules meet my requirement? If not, how can I generate the non-overlap item in array?

array_my[4] : list of uint;
keep for each in sram_addr_offset {
it in [0..0xf];
};

 

[ljxpjpjljx]

it can only gurantee each one is in the scope of 0-0xf

 

[loglong]

it can only gurantee each one is in the scope of 0-0xf

Maybe you misunderstand my requirement.

I want to generate in [0-0xf], but the item in array must unique.
for example:
there're 3 items in array_my[3] which in [0-0xf];
then I want 0,2,4 or any unique value, but can't be 0,2,2

how to constraint it?

 

[mukherjee_debajyoti]

it can only gurantee each one is in the scope of 0-0xf

Maybe you misunderstand my requirement.

I want to generate in [0-0xf], but the item in array must unique.
for example:
there're 3 items in array_my[3] which in [0-0xf];
then I want 0,2,4 or any unique value, but can't be 0,2,2

how to constraint it?

Hi,
If i understood your problem correctly , you want to generate unique numbers in the rage 0..0xF , i.e there will not be any repetition of the generated numbers.

OK , the solution goes like this..
Please follow the steps :

a) Generate any random number in the range 0..F and add into the list(say list name is list_name)
v.i.z say the generated value is 0xD. So the list_name will contain 0xD
b) Next time when you will generate the number , set the contraint such that the generated value doesn't lies in the list.

gen random_data keeping {
it not in list_name;
};

So it will generate any number in 0..F other than D(as D is present in the list)

Hope it will help to solve your problem

Thanks
Deb