
       void inf_DefinePrecharge(char *name);

DDEESSCCRRIIPPTTIIOONN
       Sets a signal as a precharge.

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

