
       void inf_MarkSignal(char *name, char *marks);

DDEESSCCRRIIPPTTIIOONN
       Allows  application of special signal markings, such as latch identifi-
       cation.

AARRGGUUMMEENNTTSS
       nnaammee          Signal's name

       mmaarrkkss         For a complete list of markings please refer to  the  INF
                     section of this manual, MARKSIG subsection.

       EEXXAAMMPPLLEE       _i_n_f___M_a_r_k_S_i_g_n_a_l _d_f_f___m _"_L_A_T_C_H_+_M_A_S_T_E_R_"

