- i -

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