
Public Attributes | |
| int | instance_id |
| int unsigned | election_id |
| int unsigned | n_sources |
| vmm_channel | sources [$] |
| int unsigned | ids [$] |
| int unsigned | id_history [$] |
| vmm_data | obj_history [$] |
| int unsigned | next_idx |
| rand int unsigned | source_idx |
| rand int unsigned | obj_offset |
| constraint | vmm_scheduler_election_valid |
| constraint | default_round_robin |
Definition at line 1755 of file std_lib/vmm.sv.
Definition at line 1756 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::election_id |
Definition at line 1757 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::n_sources |
Definition at line 1759 of file std_lib/vmm.sv.
Definition at line 1760 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::ids[$] |
Definition at line 1761 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::id_history[$] |
Definition at line 1762 of file std_lib/vmm.sv.
Definition at line 1763 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::next_idx |
Definition at line 1764 of file std_lib/vmm.sv.
| rand int unsigned vmm_scheduler_election::source_idx |
Definition at line 1766 of file std_lib/vmm.sv.
| rand int unsigned vmm_scheduler_election::obj_offset |
Definition at line 1767 of file std_lib/vmm.sv.
Definition at line 1769 of file std_lib/vmm.sv.
| constraint vmm_scheduler_election::default_round_robin |
Definition at line 1775 of file std_lib/vmm.sv.
![]() Intelligent Design Verification Project: VMM, Revision: 1.0.0 |
Copyright (c) 2008 Intelligent Design Verification. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included here: http://www.intelligentdv.com/licenses/fdl.txt |
![]() Doxygen Version: 1.5.6 Sat Oct 18 11:38:43 2008 |