
       void inf_DefineMemsym(char *name0, char *name1);

DDEESSCCRRIIPPTTIIOONN
       Sets  a  pair of signals to be a symmetric memory so long as there is a
       loop between the two signals.

AARRGGUUMMEENNTTSS
       nnaammee00         name of first memsym signal.

       nnaammee11         name of second memsym signal.

       EEXXAAMMPPLLEE       _i_n_f___D_e_f_i_n_e_M_e_m_s_y_m _m_e_m_s_y_m_0 _m_e_m_s_y_m_1

