vmm_consensus Class Reference

Collaboration diagram for vmm_consensus:

Collaboration graph
[legend]

List of all members.

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 [$]


Detailed Description

Definition at line 1401 of file std_lib/vmm.sv.


Member Function Documentation

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.


Member Data Documentation

Definition at line 1407 of file std_lib/vmm.sv.

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.

Definition at line 1412 of file std_lib/vmm.sv.

Definition at line 1452 of file std_lib/vmm.sv.


The documentation for this class was generated from the following files:

Intelligent Design Verification
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
Doxygen Version: 1.5.6
Sat Oct 18 11:32:20 2008
Find a documentation bug? Report bugs to: bugs.intelligentdv.com Project: DoxygenFilterSV