
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 1766 of file std_lib/vmm.sv.
Definition at line 1767 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::election_id |
Definition at line 1768 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::n_sources |
Definition at line 1770 of file std_lib/vmm.sv.
Definition at line 1771 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::ids[$] |
Definition at line 1772 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::id_history[$] |
Definition at line 1773 of file std_lib/vmm.sv.
Definition at line 1774 of file std_lib/vmm.sv.
| int unsigned vmm_scheduler_election::next_idx |
Definition at line 1775 of file std_lib/vmm.sv.
| rand int unsigned vmm_scheduler_election::source_idx |
Definition at line 1777 of file std_lib/vmm.sv.
| rand int unsigned vmm_scheduler_election::obj_offset |
Definition at line 1778 of file std_lib/vmm.sv.
Definition at line 1780 of file std_lib/vmm.sv.
| constraint vmm_scheduler_election::default_round_robin |
Definition at line 1786 of file std_lib/vmm.sv.
![]() Intelligent Design Verification Project: VMM, Revision: 1.0.1 |
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:32:40 2008 |