Variable: vera-abbrev-list

(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")