vera-abbrev-list

vera-abbrev-list is a variable defined in `vera-mode.el'.
Its value is

(nil "after" "all" "any" "around" "assoc_index" "assoc_size" "async" "bad_state" "bad_trans" "before" "begin" "big_endian" "bind" "bin_activation" "bit_normal" "bit_reverse" "break" "breakpoint" "case" "casex" "casez" "class" "constraint" "continue" "coverage" "coverage_block" "coverage_def" "coverage_depth" "coverage_goal" "coverage_group" "coverage_option" "coverage_val" "cross_num_print_missing" "cross_auto_bin_max" "cov_comment" "default" "depth" "dist" "do" "else" "end" "enum" "exhaustive" "export" "extends" "extern" "for" "foreach" "fork" "function" "hdl_task" "hdl_node" "hide" "if" "illegal_self_transition" "illegal_state" "illegal_transition" "in" "interface" "invisible" "join" "little_endian" "local" "m_bad_state" "m_bad_trans" "m_state" "m_trans" "negedge" "new" "newcov" "non_rand" "none" "not" "null" "or" "ordered" "packed" "port" "posedge" "proceed" "prod" "prodget" "prodset" "program" "protected" "public" "rand" "randc" "randcase" "randseq" "repeat" "return" "rules" "sample" "sample_event" "shadow" "soft" "state" "static" "super" "task" "terminate" "this" "trans" "typedef" "unpacked" "var" "vca" "vector" "verilog_node" "verilog_task" "vhdl_node" "vhdl_task" "virtual" "virtuals" "visible" "void" "while" "wildcard" "with" nil "integer" "bit" "reg" "string" "bind_var" "event" "inout" "input" "output" "ASYNC" "CLOCK" "NDRIVE" "NHOLD" "NRX" "NRZ" "NR0" "NR1" "NSAMPLE" "PDRIVE" "PHOLD" "PRX" "PRZ" "PR0" "PR1" "PSAMPLE" nil "alloc" "call_func" "call_task" "cast_assign" "close_conn" "cm_coverage" "cm_get_coverage" "cm_get_limit" "coverage_backup_database_file" "coverage_save_database" "delay" "error" "error_mode" "error_wait" "exit" "fclose" "feof" "ferror" "fflush" "flag" "fopen" "fprintf" "freadb" "freadb" "freadh" "freadstr" "get_bind" "get_bind_id" "get_conn_err" "get_cycle" "get_env" "get_memsize" "get_plus_arg" "get_systime" "get_time" "get_time_unit" "getstate" "initstate" "lock_file" "mailbox_get" "mailbox_put" "mailbox_receive" "mailbox_send" "make_client" "make_server" "os_command" "printf" "psprintf" "query" "query_str" "query_x" "rand48" "random" "region_enter" "region_exit" "rewind" "semaphore_get" "semaphore_put" "setstate" "signal_connect" "simwave_plot" "srandom" "sprintf" "sscanf" "stop" "suspend_thread" "sync" "timeout" "trace" "trigger" "unit_delay" "unlock_file" "up_connections" "urand48" "urandom" "urandom_range" "vera_bit_reverse" "vera_crc" "vera_pack" "vera_pack_big_endian" "vera_plot" "vera_report_profile" "vera_unpack" "vera_unpack_big_endian" "vsv_call_func" "vsv_call_task" "vsv_close_conn" "vsv_get_conn_err" "vsv_make_client" "vsv_make_server" "vsv_up_connections" "vsv_wait_for_done" "vsv_wait_for_input" "wait_child" "wait_var" "Configure" "DisableTrigger" "DoAction" "EnableCount" "EnableTrigger" "Event" "GetAssert" "GetCount" "GetFirstAssert" "GetName" "GetNextAssert" "Wait" "atobin" "atohex" "atoi" "atooct" "backref" "bittostr" "capacity" "compare" "constraint_mode" "delete" "empty" "find" "find_index" "first" "first_index" "get_at_least" "get_auto_bin" "get_cov_weight" "get_coverage_goal" "get_cross_bin_max" "get_status" "get_status_msg" "getc" "hash" "icompare" "insert" "inst_get_at_least" "inst_get_auto_bin_max" "inst_get_collect" "inst_get_cov_weight" "inst_get_coverage_goal" "inst_getcross_bin_max" "inst_query" "inst_set_at_least" "inst_set_auto_bin_max" "inst_set_bin_activation" "inst_set_collect" "inst_set_cov_weight" "inst_set_coverage_goal" "inst_set_cross_bin_max" "itoa" "last" "last_index" "len" "load" "match" "max" "max_index" "min" "min_index" "object_compare" "object_copy" "object_print" "pack" "pick_index" "pop_back" "pop_front" "post_pack" "post_randomize" "post_unpack" "postmatch" "pre_pack" "pre_randomize" "prematch" "push_back" "push_front" "putc" "query" "query_str" "rand_mode" "randomize" "reserve" "reverse" "rsort" "search" "set_at_least" "set_auto_bin_max" "set_bin_activation" "set_cov_weight" "set_coverage_goal" "set_cross_bin_max" "set_name" "size" "sort" "substr" "sum" "thismatch" "tolower" "toupper" "unique_index" "unpack" "new" "object_compare" "post_boundary" "post_pack" "post_randomize" "post_unpack" "pre-randomize" "pre_boundary" "pre_pack" "pre_unpack" nil "ALL" "ANY" "BAD_STATE" "BAD_TRANS" "CALL" "CHECK" "CHGEDGE" "CLEAR" "COPY_NO_WAIT" "COPY_WAIT" "CROSS" "CROSS_TRANS" "DEBUG" "DELETE" "EC_ARRAYX" "EC_CODE_END" "EC_CONFLICT" "EC_EVNTIMOUT" "EC_EXPECT" "EC_FULLEXPECT" "EC_MBXTMOUT" "EC_NEXPECT" "EC_RETURN" "EC_RGNTMOUT" "EC_SCONFLICT" "EC_SEMTMOUT" "EC_SEXPECT" "EC_SFULLEXPECT" "EC_SNEXTPECT" "EC_USERSET" "EQ" "EVENT" "FAIL" "FIRST" "FORK" "GE" "GOAL" "GT" "HAND_SHAKE" "HI" "HIGH" "HNUM" "LE" "LIC_EXIT" "LIC_PRERR" "LIC_PRWARN" "LIC_WAIT" "LO" "LOAD" "LOW" "LT" "MAILBOX" "MAX_COM" "NAME" "NE" "NEGEDGE" "NEXT" "NO_OVERLAP" "NO_OVERLAP_STATE" "NO_OVERLAP_TRANS" "NO_VARS" "NO_WAIT" "NUM" "NUM_BIN" "NUM_DET" "OFF" "OK" "OK_LAST" "ON" "ONE_BLAST" "ONE_SHOT" "ORDER" "PAST_IT" "PERCENT" "POSEDGE" "PROGRAM" "RAWIN" "REGION" "REPORT" "SAMPLE" "SAVE" "SEMAPHORE" "SET" "SILENT" "STATE" "STR" "STR_ERR_OUT_OF_RANGE" "STR_ERR_REGEXP_SYNTAX" "SUM" "TRANS" "VERBOSE" "WAIT" "stderr" "stdin" "stdout" nil "VeraListIterator_VeraListIterator_rvm_log" "VeraListIterator_rvm_data" "VeraListIterator_rvm_log" "VeraListNodeVeraListIterator_rvm_log" "VeraListNodervm_data" "VeraListNodervm_log" "VeraList_VeraListIterator_rvm_log" "VeraList_rvm_data" "VeraList_rvm_log" "rvm_broadcast" "rvm_channel_class" "rvm_data" "rvm_data" "rvm_env" "rvm_log" "rvm_log_modifier" "rvm_log_msg" "rvm_log_msg" "rvm_log_msg_info" "rvm_log_watchpoint" "rvm_notify" "rvm_notify_event" "rvm_notify_event_config" "rvm_scheduler" "rvm_scheduler_election" "rvm_watchdog" "rvm_watchdog_port" "rvm_xactor" "rvm_xactor_callbacks" nil "extern_rvm_atomic_gen" "extern_rvm_channel" "extern_rvm_scenario_gen" "rvm_OO_callback" "rvm_atomic_gen" "rvm_atomic_gen_callbacks_decl" "rvm_atomic_gen_decl" "rvm_atomic_scenario_decl" "rvm_channel" "rvm_channel_" "rvm_channel_decl" "rvm_command" "rvm_cycle" "rvm_debug" "rvm_error" "rvm_fatal" "rvm_note" "rvm_protocol" "rvm_report" "rvm_scenario_decl" "rvm_scenario_election_decl" "rvm_scenario_gen" "rvm_scenario_gen_callbacks_decl" "rvm_scenario_gen_decl" "rvm_trace" "rvm_transaction" "rvm_user" "rvm_verbose" "rvm_warning" nil "RVM_NUMERIC_VERSION_MACROS" "RVM_VERSION" "RVM_MINOR" "RVM_PATCH" "rvm_channel__SOURCE" "rvm_channel__SINK" "rvm_channel__NO_ACTIVE" "rvm_channel__ACT_PENDING" "rvm_channel__ACT_STARTED" "rvm_channel__ACT_COMPLETED" "rvm_channel__FULL" "rvm_channel__EMPTY" "rvm_channel__PUT" "rvm_channel__GOT" "rvm_channel__PEEKED" "rvm_channel__ACTIVATED" "rvm_channel__STARTED" "rvm_channel__COMPLETED" "rvm_channel__REMOVED" "rvm_channel__LOCKED" "rvm_channel__UNLOCKED" "rvm_data__EXECUTE" "rvm_data__STARTED" "rvm_data__ENDED" "rvm_env__CFG_GENED" "rvm_env__BUILT" "rvm_env__DUT_CFGED" "rvm_env__STARTED" "rvm_env__RESTARTED" "rvm_env__ENDED" "rvm_env__STOPPED" "rvm_env__CLEANED" "rvm_env__DONE" "rvm_log__DEFAULT" "rvm_log__UNCHANGED" "rvm_log__FAILURE_TYP" "rvm_log__NOTE_TYP" "rvm_log__DEBUG_TYP" "rvm_log__REPORT_TYP" "rvm_log__NOTIFY_TYP" "rvm_log__TIMING_TYP" "rvm_log__XHANDLING_TYP" "rvm_log__PROTOCOL_TYP" "rvm_log__TRANSACTION_TYP" "rvm_log__COMMAND_TYP" "rvm_log__CYCLE_TYP" "rvm_log__USER_TYP_0" "rvm_log__USER_TYP_1" "rvm_log__USER_TYP_2" "rvm_log__USER_TYP_3" "rvm_log__DEFAULT_TYP" "rvm_log__ALL_TYPES" "rvm_log__FATAL_SEV" "rvm_log__ERROR_SEV" "rvm_log__WARNING_SEV" "rvm_log__NORMAL_SEV" "rvm_log__TRACE_SEV" "rvm_log__DEBUG_SEV" "rvm_log__VERBOSE_SEV" "rvm_log__HIDDEN_SEV" "rvm_log__IGNORE_SEV" "rvm_log__DEFAULT_SEV" "rvm_log__ALL_SEVERITIES" "rvm_log__CONTINUE" "rvm_log__COUNT_AS_ERROR" "rvm_log__DEBUGGER" "rvm_log__DUMP" "rvm_log__STOP" "rvm_log__ABORT" "rvm_notify__ONE_SHOT_TRIGGER" "rvm_notify__ONE_BLAST_TRIGGER" "rvm_notify__HAND_SHAKE_TRIGGER" "rvm_notify__ON_OFF_TRIGGER" "rvm_xactor__XACTOR_IDLE" "rvm_xactor__XACTOR_BUSY" "rvm_xactor__XACTOR_STARTED" "rvm_xactor__XACTOR_STOPPED" "rvm_xactor__XACTOR_RESET" "rvm_xactor__XACTOR_SOFT_RST" "rvm_xactor__XACTOR_FIRM_RST" "rvm_xactor__XACTOR_HARD_RST" "rvm_xactor__XACTOR_PROTOCOL_RST" "rvm_broadcast__AFAP" "rvm_broadcast__ALAP" "rvm_watchdog__TIMEOUT" "rvm_env__DUT_RESET" "rvm_log__INTERNAL_TYP" "RVM_SCHEDULER_IS_XACTOR" "RVM_BROADCAST_IS_XACTOR")

Documentation:
Predefined abbreviations for Vera.