- v -

• veri_is_defined() : verilog_preprocessor.c , verilog_preprocessor.h
• veri_preproc() : verilog_preprocessor.h , verilog_preprocessor.c
• veri_preproc_bootstraped() : verilog_preprocessor.h , verilog_preprocessor.c
• verify_output_vectors() : simulate_blif.c