2 void avt_DriveNetlist(Netlist *lf, char *filename, char *format);
4 D
\bDE
\bES
\bSC
\bCR
\bRI
\bIP
\bPT
\bTI
\bIO
\bON
\bN
5 Saves the netlist on disk according to the given format
7 A
\bAR
\bRG
\bGU
\bUM
\bME
\bEN
\bNT
\bTS
\bS
8 l
\blf
\bf Pointer on the netlist to be saved
10 f
\bfi
\bil
\ble
\ben
\bna
\bam
\bme
\be Name of the file to be created
12 f
\bfo
\bor
\brm
\bma
\bat
\bt Available formats are _
\bs_
\bp_
\bi_
\bc_
\be, _
\bv_
\be_
\br_
\bi_
\bl_
\bo_
\bg, _
\bv_
\bh_
\bd_
\bl and _
\bs_
\bp_
\be_
\bf
14 E
\bEX
\bXA
\bAM
\bMP
\bPL
\bLE
\bE _
\ba_
\bv_
\bt_
\b__
\bD_
\br_
\bi_
\bv_
\be_
\bN_
\be_
\bt_
\bl_
\bi_
\bs_
\bt _
\b$_
\bn_
\be_
\bt_
\bl_
\bi_
\bs_
\bt _
\bd_
\be_
\bs_
\bi_
\bg_
\bn_
\b._
\bs_
\bp_
\bi _
\bs_
\bp_
\bi_
\bc_
\be