
       void avt_DriveBehavior(BehavioralFigure *befig, char *format);

DDEESSCCRRIIPPTTIIOONN
       Drives  a  behavioral description according to the file format from the
       given internal representation

AARRGGUUMMEENNTTSS
       bbeeffiigg         Behavior to be driven

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

       EEXXAAMMPPLLEE       _a_v_t___D_r_i_v_e_B_e_h_a_v_i_o_r _$_b_e_f_i_g _o_u_t_p_u_t_._v _v_e_r_i_l_o_g

