
       void inf_DefineClockPriority(char *name, char *clock);

DDEESSCCRRIIPPTTIIOONN
       Defines the preferred clock for a signal in case of multiple clock pos-
       sibility.

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

       cclloocckk         Priority clock

