vmm_mam_allocator Class Reference

Inheritance list for class vmm_mam_allocator:

List of all members.
Defined at line 115 of file sv/RAL/vmm_mam.sv.

Public Attributes

vmm_mam_region  in_use [$] 
int unsigned  len 
bit[63:0]  max_offset 
bit[63:0]  min_offset 
rand 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 sv/RAL/vmm_mam.sv.

 int unsigned  attribute
 vmm_mam_allocator::len

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

 bit[63:0]  attribute
 vmm_mam_allocator::max_offset

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

 bit[63:0]  attribute
 vmm_mam_allocator::min_offset

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

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

Defined at line 118 of file sv/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 sv/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 sv/RAL/vmm_mam.sv.

16 December 2008, Copyright © 2008 Synopsys, Inc.