1 #include "avt_API_types.h"
5 Saves a list of blackboxed timing figures on disk, in a single {.lib} file
7 fig_list % List of timing figures to print in the {.lib} file. For a single timing figure, use a list of one element (example given below)
8 befig_list % List of behavioral figures to associate with the timing figures. There should be a one-to-one correspondence between the elements in {befig_list} and {fig_list}, and there should be the same number of elements if the two lists. Use {NULL} to fill the gaps in {befig_list}.
9 file % Name of the {.lib} file to create
10 delaytype % Defines if the {cell_rise} and {cell_fall} timing groups will have only maximum delays ({max}), minimum delays ({min}) or both ({both}).
11 EXAMPLE % {lib_DriveFile [list $bbox] NULL cpu.lib max}
13 void lib_DriveFile (List
*fig_list
, List
*befig_list
, char* file
, char* delaytype
);
14 void lib_drivefile (List
*fig_list
, List
*befig_list
, char* file
, char* delaytype
);
19 Prints a {.lib} header in a file, regarding to the information present in the given timing figure
21 fig % Pointer on the timing figure to consider
22 file % Pointer on the file where to print the {.lib} header
23 libname % Name to be put in the {library} statement of the {.lib} header
25 void lib_DriveHeader (TimingFigure
*fig
, FILE* file
, char* libname
);
28 MAN lib_CanonicPinName
30 Adapts pin names according to the {.lib} syntax (typically bus delimiter are replaced by {_)}
34 char *lib_CanonicPinName (char *name
);
40 fig_list % List of timing figures to print in the {.lib} file. For a single timing figure, use a list of one element (example given below)
41 befig_list % List of behavioral figures to associate with the timing figures. There should be a one-to-one correspondence between the elements in {befig_list} and {fig_list}, and there should be the same number of elements if the two lists. Use {NULL} to fill the gaps in {befig_list}.
42 file % Name of the {.lib} file to create
43 format % {tlf3} or {tlf4}
44 EXAMPLE % {tlf_DriveFile [list $bbox] NULL cpu.tlf tlf4}
47 void tlf_DriveFile (List
*fig_list
, List
*befig_list
, char* file
, char* format
);