vmm_mam_allocator Class Reference

Inheritance list for class vmm_mam_allocator:

vmm_mam_allocator

Defined at line 115 of file RAL/vmm_mam.sv.

Public Attributes
vmm_mam_region	in_use
int unsigned	len
bit[63:0]	max_offset
bit[63:0]	min_offset
bit[63:0]	start_offset
Constraints
constraint vmam_mam_allocator_no_overlap	( )
constraint vmam_mam_allocator_valid	( )

Member Attribute Documentation

vmm_mam_region attribute
vmm_mam_allocator::in_use

Defined at line 123 of file RAL/vmm_mam.sv.

int unsigned attribute
vmm_mam_allocator::len

Defined at line 116 of file RAL/vmm_mam.sv.

bit[63:0] attribute
vmm_mam_allocator::max_offset

Defined at line 121 of file RAL/vmm_mam.sv.

bit[63:0] attribute
vmm_mam_allocator::min_offset

Defined at line 120 of file RAL/vmm_mam.sv.

rand bit[63:0] attribute
vmm_mam_allocator::start_offset

Defined at line 118 of file RAL/vmm_mam.sv.

Member Constraint Documentation

  constraint
vmm_mam_allocator::vmam_mam_allocator_no_overlap

constraint vmam_mam_allocator_no_overlap {
      foreach (in_use[i]) {
         !(start_offset <= in_use[i].Xend_offsetX &&
           start_offset + len - 1 >= in_use[i].Xstart_offsetX);
      }
   }

Defined at line 130 of file RAL/vmm_mam.sv.

  constraint
vmm_mam_allocator::vmam_mam_allocator_valid

constraint vmam_mam_allocator_valid {
      start_offset >= min_offset;
      start_offset <= max_offset - len + 1;
   }

Defined at line 125 of file RAL/vmm_mam.sv.

vmm_mam_allocator Class Reference

Public Attributes

Constraints

Member Attribute Documentation

Member Constraint Documentation