
       void inf_DefineAsynchron(char *name);

DDEESSCCRRIIPPTTIIOONN
       Defines an asynchronous pin, i.e. reset pin. Necessary to obtain recov-
       ery/removal timing groups in .lib characterization.

AARRGGUUMMEENNTTSS
       nnaammee          Name of the reset pin

       EEXXAAMMPPLLEE       _i_n_f___D_e_f_i_n_e_A_s_y_n_c_h_r_o_n _r_e_s_e_t

