1
Download VMM 1.2 Standard Library User Guide
Transcript
vmm_consensus::unregister_channel()
Unregisters a channel participant.
SystemVerilog
function void unregister_channel(vmm_channel chan);
OpenVera
task unregister_channel(rvm_channel chan);
Description
Removes a previously registered channel from this consensus. If the
channel was the only participant that objected to the consensus, the
consensus will subsequently be reached.
Example
Example A-47
program test_consensus;
vmm_consensus vote = new("Vote", "Main");
initial begin
vmm_channel v1 =new("Voter", "#1");
...
vote.register_channel(v1);
...
vote.unregister_channel(v1);
...
end
endprogram
Standard Library Classes (Part 1)
A-138
