00001 #ifndef OUTPUT_BLIF_H 00002 #define OUTPUT_BLIF_H 00003 00004 void output_blif(char *file_name, netlist_t *netlist); 00005 00006 #endif 00007
