Generate an index to an ungeneratable list of struct

Do the ranges of start...end overlap or is free_mem_areas[0].address_start always the lowest address and free_mem_areas[free_mem_areas.size()-1].address_end always the highest?

Note that recent versions of Specman have support for a "set" datatype so you can model your start...end addresses as a list of sets and constrain the index to be within that list. Look at "The set type" in the Specman e user's guide. Here's an example from the docs which illustrates the idea.

struct s {
foo() is {
var s1: set;
var s2: set = [3..7, 10..13]
print 5 in s2; // prints TRUE
print 8 in s2; // prints FALSE
s1 = s2; // s1 is [3..7, 10..13]
s2 = [4..5]; // s1 is not changed
print s1 in s2; // prints FALSE
print s2 in s2; // prints TRUE
var x: int;
gen x keeping {it in value(s2)}; // x may become 4 or 5
};
};


Note also that if you're doing address management, vr_ad has excellent support for allocating memory ranges (programmatically or randomly). If you're interested, PM me your corporate email address and I'll send you a copy of a tutorial that I wrote on the subject.

hi, Yanir.

sending you the material, to your email