00001 void read_blif (char *blif_file, boolean sweep_hanging_nets_and_inputs, 00002 t_model *user_models, t_model *library_models); 00003 void echo_input (char *blif_file, char *echo_file, t_model *library_models);