vmm_scheduler_election Class Reference

int unsigned attribute
vmm_scheduler_election::election_id

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

int unsigned attribute
vmm_scheduler_election::id_history

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

int unsigned attribute
vmm_scheduler_election::ids

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

int attribute
vmm_scheduler_election::instance_id

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

int unsigned attribute
vmm_scheduler_election::n_sources

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

int unsigned attribute
vmm_scheduler_election::next_idx

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

vmm_data attribute
vmm_scheduler_election::obj_history

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

rand int unsigned attribute
vmm_scheduler_election::obj_offset

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

rand int unsigned attribute
vmm_scheduler_election::source_idx

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

vmm_channel attribute
vmm_scheduler_election::sources

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

  constraint
vmm_scheduler_election::default_round_robin

constraint default_round_robin {
      source_idx == next_idx;
   }

Defined at line 1786 of file 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 1780 of file std_lib/vmm.sv.

vmm_scheduler_election Class Reference

Public Attributes

Constraints

Member Attribute Documentation

Member Constraint Documentation

Public Attributes
int unsigned	election_id
int unsigned	id_history
int unsigned	ids
int	instance_id
int unsigned	n_sources
int unsigned	next_idx
vmm_data	obj_history
int unsigned	obj_offset
int unsigned	source_idx
vmm_channel	sources
Constraints
constraint default_round_robin	( )
constraint vmm_scheduler_election_valid	( )