
       void avt_DriveNetlist(Netlist *lf, char *filename, char *format);

DDEESSCCRRIIPPTTIIOONN
       Saves the netlist on disk according to the given format

AARRGGUUMMEENNTTSS
       llff            Pointer on the netlist to be saved

       ffiilleennaammee      Name of the file to be created

       ffoorrmmaatt        Available formats are _s_p_i_c_e, _v_e_r_i_l_o_g, _v_h_d_l and _s_p_e_f

       EEXXAAMMPPLLEE       _a_v_t___D_r_i_v_e_N_e_t_l_i_s_t _$_n_e_t_l_i_s_t _d_e_s_i_g_n_._s_p_i _s_p_i_c_e

