2 void lib_DriveFile(List *fig_list, List *befig_list, char *file, char
5 D
\bDE
\bES
\bSC
\bCR
\bRI
\bIP
\bPT
\bTI
\bIO
\bON
\bN
6 Saves a list of blackboxed timing figures on disk, in a single _
\b._
\bl_
\bi_
\bb
9 A
\bAR
\bRG
\bGU
\bUM
\bME
\bEN
\bNT
\bTS
\bS
10 f
\bfi
\big
\bg_
\b_l
\bli
\bis
\bst
\bt List of timing figures to print in the _
\b._
\bl_
\bi_
\bb file. For a
11 single timing figure, use a list of one element (example
14 b
\bbe
\bef
\bfi
\big
\bg_
\b_l
\bli
\bis
\bst
\bt List of behavioral figures to associate with the timing
15 figures. There should be a one-to-one correspondence
16 between the elements in _
\bb_
\be_
\bf_
\bi_
\bg_
\b__
\bl_
\bi_
\bs_
\bt and _
\bf_
\bi_
\bg_
\b__
\bl_
\bi_
\bs_
\bt, and
17 there should be the same number of elements if the two
18 lists. Use _
\bN_
\bU_
\bL_
\bL to fill the gaps in _
\bb_
\be_
\bf_
\bi_
\bg_
\b__
\bl_
\bi_
\bs_
\bt.
20 f
\bfi
\bil
\ble
\be Name of the _
\b._
\bl_
\bi_
\bb file to create
22 d
\bde
\bel
\bla
\bay
\byt
\bty
\byp
\bpe
\be Defines if the _
\bc_
\be_
\bl_
\bl_
\b__
\br_
\bi_
\bs_
\be and _
\bc_
\be_
\bl_
\bl_
\b__
\bf_
\ba_
\bl_
\bl timing groups will
23 have only maximum delays (_
\bm_
\ba_
\bx), minimum delays (_
\bm_
\bi_
\bn) or
24 both (_
\bb_
\bo_
\bt_
\bh).
26 E
\bEX
\bXA
\bAM
\bMP
\bPL
\bLE
\bE _
\bl_
\bi_
\bb_
\b__
\bD_
\br_
\bi_
\bv_
\be_
\bF_
\bi_
\bl_
\be _
\b[_
\bl_
\bi_
\bs_
\bt _
\b$_
\bb_
\bb_
\bo_
\bx_
\b] _
\bN_
\bU_
\bL_
\bL _
\bc_
\bp_
\bu_
\b._
\bl_
\bi_
\bb _
\bm_
\ba_
\bx