
Public Member Functions | |
| new (string name, string inst) | |
| vmm_voter | register_voter (string name) |
| void | register_xactor (vmm_xactor xact) |
| void | register_channel (vmm_channel chan) |
| void | register_notification (vmm_notify notify, int notification) |
| void | register_no_notification (vmm_notify notify, int notification) |
| void | register_consensus (vmm_consensus vote, bit force_through=0) |
| void | unregister_voter (vmm_voter voter) |
| void | unregister_xactor (vmm_xactor xact) |
| void | unregister_channel (vmm_channel chan) |
| void | unregister_notification (vmm_notify notify, int notification) |
| void | unregister_consensus (vmm_consensus vote) |
| void | wait_for_consensus () |
| void | wait_for_no_consensus () |
| bit | is_reached () |
| bit | is_forced () |
| string | psdisplay (string prefix=" ") |
| void | yeas (ref string who[], ref string why[]) |
| void | nays (ref string who[], ref string why[]) |
| void | forcing (ref string who[], ref string why[]) |
| void | XvoteX (bit was_agree, bit agree, bit was_forced, bit forced) |
Public Attributes | |
| vmm_log | log |
| event | new_results |
Private Attributes | |
| int | n_dissenters |
| int | n_forcing |
| vmm_voter | voters [$] |
Definition at line 1401 of file std_lib/vmm.sv.
| vmm_consensus::new | ( | string | name, | |
| string | inst | |||
| ) |
Definition at line 27 of file vmm_consensus.sv.
| vmm_voter vmm_consensus::register_voter | ( | string | name | ) |
Definition at line 40 of file vmm_consensus.sv.
| void vmm_consensus::register_xactor | ( | vmm_xactor | xact | ) |
Definition at line 65 of file vmm_consensus.sv.
| void vmm_consensus::register_channel | ( | vmm_channel | chan | ) |
Definition at line 87 of file vmm_consensus.sv.
| void vmm_consensus::register_notification | ( | vmm_notify | notify, | |
| int | notification | |||
| ) |
Definition at line 111 of file vmm_consensus.sv.
| void vmm_consensus::register_no_notification | ( | vmm_notify | notify, | |
| int | notification | |||
| ) |
Definition at line 141 of file vmm_consensus.sv.
| void vmm_consensus::register_consensus | ( | vmm_consensus | vote, | |
| bit | force_through = 0 | |||
| ) |
Definition at line 193 of file vmm_consensus.sv.
| void vmm_consensus::unregister_voter | ( | vmm_voter | voter | ) |
Definition at line 52 of file vmm_consensus.sv.
| void vmm_consensus::unregister_xactor | ( | vmm_xactor | xact | ) |
Definition at line 72 of file vmm_consensus.sv.
| void vmm_consensus::unregister_channel | ( | vmm_channel | chan | ) |
Definition at line 95 of file vmm_consensus.sv.
| void vmm_consensus::unregister_notification | ( | vmm_notify | notify, | |
| int | notification | |||
| ) |
Definition at line 171 of file vmm_consensus.sv.
| void vmm_consensus::unregister_consensus | ( | vmm_consensus | vote | ) |
Definition at line 201 of file vmm_consensus.sv.
| void vmm_consensus::wait_for_consensus | ( | ) |
Definition at line 216 of file vmm_consensus.sv.
| void vmm_consensus::wait_for_no_consensus | ( | ) |
Definition at line 221 of file vmm_consensus.sv.
| bit vmm_consensus::is_reached | ( | ) |
Definition at line 226 of file vmm_consensus.sv.
| bit vmm_consensus::is_forced | ( | ) |
Definition at line 231 of file vmm_consensus.sv.
| string vmm_consensus::psdisplay | ( | string | prefix = " " |
) |
Definition at line 236 of file vmm_consensus.sv.
| void vmm_consensus::yeas | ( | ref string | who[], | |
| ref string | why[] | |||
| ) |
Definition at line 262 of file vmm_consensus.sv.
| void vmm_consensus::nays | ( | ref string | who[], | |
| ref string | why[] | |||
| ) |
Definition at line 284 of file vmm_consensus.sv.
| void vmm_consensus::forcing | ( | ref string | who[], | |
| ref string | why[] | |||
| ) |
Definition at line 306 of file vmm_consensus.sv.
| void vmm_consensus::XvoteX | ( | bit | was_agree, | |
| bit | agree, | |||
| bit | was_forced, | |||
| bit | forced | |||
| ) |
Definition at line 330 of file vmm_consensus.sv.
Definition at line 1407 of file std_lib/vmm.sv.
int vmm_consensus::n_dissenters [private] |
Definition at line 1409 of file std_lib/vmm.sv.
int vmm_consensus::n_forcing [private] |
Definition at line 1410 of file std_lib/vmm.sv.
vmm_voter vmm_consensus::voters[$] [private] |
Definition at line 1412 of file std_lib/vmm.sv.
Definition at line 1452 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:20 2008 |