|
wait_for |
task |
defined in class vmm_notify, |
|
wait_for_consensus |
task |
defined in class vmm_consensus, |
|
wait_for_end |
task |
defined in class vmm_env, |
|
wait_for_msg |
task |
defined in class vmm_log, |
|
wait_for_no_consensus |
task |
defined in class vmm_consensus, |
|
wait_for_off |
task |
defined in class vmm_notify, |
|
wait_for_watchpoint |
task |
defined in class vmm_log, |
|
wait_if_interrupted |
task |
defined in class xvc_xactor, |
|
wait_if_stopped |
task |
defined in class vmm_xactor, |
|
wait_if_stopped_or_empty |
task |
defined in class vmm_xactor, |
|
wait_is_rdy |
task |
defined in class vmm_hw_in_port, |
| wait_is_rdy |
task |
defined in class vmm_hw_out_port, |
| wait_is_rdy |
task |
defined in class vmm_hw_arch_null_in_port, |
| wait_is_rdy |
task |
defined in class vmm_hw_arch_null_out_port, |
|
warnings |
function arg |
arg type int, defined in function vmm_log_format :: pass_or_fail |
|
was_agree |
function arg |
arg type bit, defined in function vmm_consensus :: XvoteX |
|
was_forced |
function arg |
arg type bit, defined in function vmm_consensus :: XvoteX |
|
watchpoint_id |
function arg |
arg type int, defined in function vmm_log :: add_watchpoint |
| watchpoint_id |
function arg |
arg type int, defined in function vmm_log :: remove_watchpoint |
| watchpoint_id |
task arg |
arg type int, defined in task vmm_log :: wait_for_watchpoint |
|
wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_field_callbacks :: pre_write |
| wdat |
task arg |
arg type bit[63:0], defined in task vmm_ral_field_callbacks :: post_write |
| wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_vfield_callbacks :: pre_write |
| wdat |
task arg |
arg type bit[63:0], defined in task vmm_ral_vfield_callbacks :: post_write |
| wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_reg_callbacks :: pre_write |
| wdat |
task arg |
arg type bit[63:0], defined in task vmm_ral_reg_callbacks :: post_write |
| wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_mem_callbacks :: pre_write |
| wdat |
task arg |
arg type bit[63:0], defined in task vmm_ral_mem_callbacks :: post_write |
| wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_mem_callbacks :: pre_burst |
| wdat |
task arg |
arg type ref bit[63:0], defined in task vmm_ral_vreg_callbacks :: pre_write |
| wdat |
task arg |
arg type bit[63:0], defined in task vmm_ral_vreg_callbacks :: post_write |
|
what |
function arg |
arg type do_what_e, defined in function vmm_data :: do_all |
| what |
function arg |
arg type do_what_e, defined in function vmm_xactor :: do_all |
| what |
function arg |
arg type do_what_e, defined in function vmm_subenv :: do_all |
| what |
function arg |
arg type do_what_e, defined in function vmm_env :: do_all |
|
who |
function arg |
arg type bit[1:0], defined in function vmm_channel :: lock |
| who |
function arg |
arg type bit[1:0], defined in function vmm_channel :: unlock |
| who |
function arg |
arg type bit[1:0], defined in function vmm_channel :: is_locked |
| who |
function arg |
arg type ref string, defined in function vmm_consensus :: yeas |
| who |
function arg |
arg type ref string, defined in function vmm_consensus :: nays |
| who |
function arg |
arg type ref string, defined in function vmm_consensus :: forcing |
|
why |
function arg |
arg type ref string, defined in function vmm_consensus :: yeas |
| why |
function arg |
arg type ref string, defined in function vmm_consensus :: nays |
| why |
function arg |
arg type ref string, defined in function vmm_consensus :: forcing |
| why |
function arg |
arg type string, defined in function vmm_voter :: oppose |
| why |
function arg |
arg type string, defined in function vmm_voter :: consent |
| why |
function arg |
arg type string, defined in function vmm_voter :: forced |
| why |
function |
function, defined in global,
returns type void |
|
wo_mask |
task arg |
arg type bit[63:0], defined in task vmm_ral_tests :: bash_kth_bit |
|
wr_val |
function arg |
arg type bit[63:0], defined in function vmm_ral_field :: XpredictX |
|
write |
task |
defined in class vmm_ral_field, |
| write |
task |
defined in class vmm_ral_vfield, |
| write |
task |
defined in class vmm_ral_reg, |
| write |
task |
defined in class vmm_ral_vreg, |
| write |
task |
defined in class vmm_ral_mem, |
| write |
task |
defined in class vmm_ral_access, |
| write |
task |
defined in class vmm_ral_reg_backdoor, |
| write |
task |
defined in class vmm_ral_mem_backdoor, |
| write |
task |
defined in class vmm_ral_reg_frontdoor, |
| write |
task |
defined in class vmm_mam_region, |
| write |
task |
defined in class vmm_ral_mem_frontdoor, |
|
write_by_name |
task |
defined in class vmm_ral_access, |
|
write_mem_by_name |
task |
defined in class vmm_ral_access, |
|
writememh |
task |
defined in class vmm_ral_block, |
| writememh |
task |
defined in class vmm_ral_mem, |
| writememh |
task |
defined in class vmm_ral_sys, |
| writememh |
task |
defined in class vmm_ral_block_or_sys, |