vmm_scheduler_election Class Reference

Inheritance list for class vmm_scheduler_election:

List of all members.
Defined at line 2377 of file sv/std_lib/vmm.sv.

Public Attributes

int unsigned  election_id 
int unsigned  ids [$] 
int unsigned  id_history [$] 
int  instance_id 
int unsigned  n_sources 
int unsigned  next_idx 
vmm_data  obj_history [$] 
rand int unsigned  obj_offset 
vmm_channel  sources [$] 
rand int unsigned  source_idx 

Constraints

constraint  default_round_robin  ( )
constraint  vmm_scheduler_election_valid  ( )

Member Attribute Documentation

 int unsigned  attribute
 vmm_scheduler_election::election_id

Defined at line 2379 of file sv/std_lib/vmm.sv.

 int unsigned  attribute
 vmm_scheduler_election::ids[$]

Defined at line 2383 of file sv/std_lib/vmm.sv.

 int unsigned  attribute
 vmm_scheduler_election::id_history[$]

Defined at line 2384 of file sv/std_lib/vmm.sv.

 int  attribute
 vmm_scheduler_election::instance_id

Defined at line 2378 of file sv/std_lib/vmm.sv.

 int unsigned  attribute
 vmm_scheduler_election::n_sources

Defined at line 2381 of file sv/std_lib/vmm.sv.

 int unsigned  attribute
 vmm_scheduler_election::next_idx

Defined at line 2386 of file sv/std_lib/vmm.sv.

 vmm_data  attribute
 vmm_scheduler_election::obj_history[$]

Defined at line 2385 of file sv/std_lib/vmm.sv.

 rand int unsigned  attribute
 vmm_scheduler_election::obj_offset

Defined at line 2389 of file sv/std_lib/vmm.sv.

 vmm_channel  attribute
 vmm_scheduler_election::sources[$]

Defined at line 2382 of file sv/std_lib/vmm.sv.

 rand int unsigned  attribute
 vmm_scheduler_election::source_idx

Defined at line 2388 of file sv/std_lib/vmm.sv.

Member Constraint Documentation

  constraint
 vmm_scheduler_election::default_round_robin

constraint default_round_robin {
      source_idx == next_idx;
   }

Defined at line 2397 of file sv/std_lib/vmm.sv.

  constraint
 vmm_scheduler_election::vmm_scheduler_election_valid

constraint vmm_scheduler_election_valid {
      obj_offset == 0;
      source_idx >= 0;
      source_idx < n_sources;
   }

Defined at line 2391 of file sv/std_lib/vmm.sv.

16 December 2008, Copyright © 2008 Synopsys, Inc.