- a -

• active_head : sim.c
• active_tail : sim.c
• all_head : sim.c
• all_next : sim.c
• all_tail : sim.c
• allow_multi_expr : rank.c, comb.c

- b -

• block_depth : vpi.c, db.c

- c -

• cdd_message : vpi.c, score.c, report.c, merge.c, info.c
• cdd_type_set : rank.c
• cdd_type_weight : rank.c
• cdd_version : info.c
• cli_debug_mode : vpi.c, util.c, expr.c
• command_line_debug_file : score.c
• cp_depth : rank.c
• curr_arc_id : db.c, arc.c
• curr_db : toggle.c, search.c, scope.c, report.c, race.c, perf.c, param.c, ovl.c, merge.c, memory.c, line.c, instance.c, info.c, gen_item.c, func_unit.c, fsm_var.c, fsm.c, expr.c, exclude.c, db.c, comb.c, binding.c, assertion.c
• curr_expr_id : static.c, instance.c, fsm_arg.c, expr.c, db.c
• curr_funit : stmt_blk.c, static.c, search.c, race.c, parser_misc.c, gen_item.c, func_unit.c, fsm_var.c, db.c
• curr_gi_block : db.c
• curr_inst_scope : vpi.c, lxt.c, db.c
• curr_inst_scope_size : vpi.c, lxt.c, db.c
• curr_instance : vpi.c, db.c
• curr_malloc_size : util.c, score.c, main.c
• curr_prange : parser_misc.c, parse.c
• curr_sig_id : param.c, instance.c, gen_item.c, db.c
• curr_urange : parser_misc.c, parse.c
• current_timescale_unit : db.c

- d -

• db_list : toggle.c, search.c, scope.c, report.c, rank.c, race.c, perf.c, param.c, ovl.c, merge.c, memory.c, line.c, instance.c, info.c, gen_item.c, func_unit.c, fsm_var.c, fsm.c, expr.c, exclude.c, db.c, comb.c, binding.c, assertion.c
• db_size : search.c, report.c, db.c
• debug_mode : vsignal.c, vpi.c, util.c, sim.c, score.c, rank.c, race.c, parse.c, lxt2_read.c, gen_item.c, expr.c, db.c, binding.c
• def_table : vpi.c, db.c
• defparam_list : param.c
• delay_expr_type : score.c
• delayed_head : sim.c
• delayed_tail : sim.c
• directive_filename : score.c
• dump_file : score.c
• dump_mode : score.c
• dumpvars_file : score.c, parse.c

- e -

• eb_head : binding.c
• eb_tail : binding.c
• error_count : parser_misc.h, parser_misc.c
• excl_ids_head : exclude.c
• excl_ids_tail : exclude.c
• exclude_cdd : exclude.c
• exclude_mode : db.c
• exclude_print : exclude.c
• exclude_prompt_for_msgs : exclude.c
• exclusion_id : db.c
• exclusion_id_size : memory.c
• exp_op_info : statement.c, sim.c, reentrant.c, rank.c, expr.c, comb.c, codegen.c
• extensions_head : search.c
• extensions_tail : search.c

- f -

• flag_check_ovl_assertions : ovl.c
• flag_check_races : score.c, parse.c
• flag_conservative : score.c
• flag_display_sim_stats : score.c
• flag_global_generation : vpi.c, search.c, score.c, parser_misc.c
• flag_names_only : rank.c
• flag_output_exclusion_ids : vpi.c, toggle.c, report.c, ovl.c, memory.c, line.c, fsm.c, comb.c
• flag_race_check : vpi.c, score.c, race.c
• flag_suppress_empty_funits : report.c, line.c
• flag_use_command_line_debug : vpi.c, util.c, sim.c, score.c, expr.c
• flag_use_line_width : vpi.c, report.c, codegen.c
• for_mode : db.c
• force_stop : sim.c
• fork_block_depth : vpi.c, db.c
• fork_depth : vpi.c, db.c
• fsm_var_bind_head : fsm_var.c
• fsm_var_bind_tail : fsm_var.c
• fsm_var_head : fsm_var.c
• fsm_var_stmt_head : fsm_var.c
• fsm_var_stmt_tail : fsm_var.c
• fsm_var_tail : fsm_var.c
• funit_head : binding.c
• funit_types : util.c

- g -

• gen_mod_head : score.c, parser_misc.c
• gen_mod_tail : score.c
• generate_expr_mode : vpi.c, expr.c, db.c
• generate_mode : db.c
• generate_top_mode : db.c
• gi_conn_id : db.c
• global_funit : search.c, scope.c, db.c
• global_timescale_precision : db.c

- i -

• ignore_racecheck_mode : db.c
• in_db_name : vpi.c
• inc_paths_head : search.c
• inc_paths_tail : search.c
• info_suppl : vpi.c, vector.c, toggle.c, score.c, report.c, race.c, parse.c, memory.c, line.c, info.c, fsm.c, exclude.c, db.c, comb.c, assertion.c
• input_db : report.c
• inst_head : sim.c
• instance_specified : vcd.c, score.c, parse.c, lxt.c
• interp : util.c, report.c

- l -

• largest_malloc_size : util.c, score.c, rank.c
• last_gi : db.c
• last_time : vpi.c
• line_width : vpi.c, report.c, comb.c, codegen.c
• logic_rm_msgs : stmt_blk.c
• longest_name_len : rank.c
• lxt_file : score.c

- m -

• merge_er_value : merge.c, exclude.c
• merge_in : vpi.c
• merge_in_cl_last : merge.c
• merge_in_head : vpi.c, report.c, merge.c, info.c
• merge_in_num : vpi.c, merge.c, info.c
• merge_in_tail : vpi.c, report.c, merge.c, info.c
• merged_code : merge.c
• merged_file : vpi.c, merge.c, info.c
• modlist_head : parse.c, db.c
• modlist_tail : parse.c, db.c

- n -

• nba_queue : sim.c
• nba_queue_curr_size : sim.c
• nba_queue_size : sim.c, expr.c
• no_score_head : search.c, db.c
• no_score_tail : search.c
• num_cps : rank.c
• num_timesteps : rank.c, info.c, db.c

- o -

• obf_curr_id : obfuscate.c
• obf_mode : obfuscate.h, obfuscate.c
• obf_tree : obfuscate.c
• one_instance_found : vpi.c, vcd.c, lxt.c, db.c
• out_db_name : vpi.c
• output_db : score.c
• output_file : report.c
• output_suppressed : util.c, rank.c
• ovl_assertions : ovl.c

- p -

• postsim_size : symtable.c
• ppfilename : score.c, parse.c, main.c
• pragma_coverage_name : score.c
• pragma_racecheck_name : score.c
• profile_index : genprof.h, genprof.c
• profiles : genprof.h, genprof.c
• profiling_mode : profiler.h, profiler.c
• profiling_output : profiler.c

- r -

• race_ignore_mod_head : vpi.c, score.c, race.c
• race_ignore_mod_tail : vpi.c, score.c, race.c
• race_msgs : race.c
• races_found : race.c
• random_seed : sys_tasks.c
• rank_file : rank.c
• rank_in_head : rank.c
• rank_in_tail : rank.c
• rank_verbose : rank.c
• report_assertion : report.c, rank.c
• report_bitwise : report.c, comb.c
• report_comb_depth : report.c, line.c, fsm.c, comb.c
• report_combination : report.c, rank.c
• report_covered : vpi.c, toggle.c, report.c, ovl.c, memory.c, line.c, fsm.c, comb.c, assertion.c
• report_exclusions : vpi.c, toggle.c, report.c, memory.c, line.c, fsm.c, comb.c, assertion.c
• report_fsm : report.c, rank.c
• report_gui : vpi.c, util.c, report.c
• report_instance : vpi.c, toggle.c, report.c, ovl.c, memory.c, line.c, fsm.c, comb.c, assertion.c
• report_line : report.c, rank.c
• report_memory : report.c, rank.c
• report_race : report.c
• report_toggle : report.c, rank.c
• rm_stmt_head : stmt_blk.c
• rm_stmt_tail : stmt_blk.c

- s -

• sb : race.c
• sb_size : race.c
• score_args_head : info.c
• score_args_tail : info.c
• score_run_path : score.c, info.c
• sim_plusargs_head : sys_tasks.c, score.c
• sim_plusargs_tail : sys_tasks.c, score.c
• sim_timer : profiler.c
• simulate : sim.c
• stack : profiler.c
• stack_size : profiler.c
• static_expr_head : sim.c, expr.c
• static_expr_tail : sim.c, expr.c
• stmt_conn_id : race.c, db.c
• stmt_loop_head : statement.c
• stmt_loop_tail : statement.c
• sv_head : vpi.c
• sv_tail : vpi.c

- t -

• test_mode : util.c, main.c
• the_exception_context : vpi.c, main.c, defines.h
• thread_state_str : sim.c
• timescale : score.c
• timestep_tab : vpi.c, vcd.c, symtable.c, lxt.c
• timestep_update : vpi.c, score.c, db.c
• top_instance : vpi.c, vcd.c, search.c, score.c, lxt.c
• top_module : vpi.c, search.c, score.c, parse.c, db.c

- u -

• unnamed_scope_id : db.c
• use_files_head : search.c, score.c, parse.c
• use_files_tail : search.c
• user_msg : vsignal.c, vpi.c, vector.c, vcd.c, util.c, stmt_blk.c, statement.c, sim.c, search.c, score.c, scope.c, report.c, rank.c, race.c, profiler.c, parser_misc.c, parse.c, param.c, merge.c, main.c, lxt2_read.c, lxt.c, instance.c, info.c, gen_item.c, func_unit.c, fsm_var.c, fsm_arg.c, fsm.c, expr.c, exclude.c, enumerate.c, db.c, comb.c, codegen.c, binding.c

- v -

• vcd_blackout : lxt.c
• vcd_prevtime : lxt.c
• vcd_prevtime_valid : lxt.c
• vcd_symtab : vpi.c, vcd.c, symtable.c, lxt.c
• vcd_symtab_size : vpi.c, vcd.c, symtable.c, lxt.c
• vector_type_sizes : vector.c
• vlog_startup_routines : vpi.c
• vpi_file : score.c

- w -

• warn_count : parser_misc.c
• warnings_suppressed : util.c, score.c

- y -

• yylloc : parser_misc.h

---