
/* ###-------------------------------------------------------------------### */
/*									     */
/* file		: titres.h						     */
/*									     */
/* ###-------------------------------------------------------------------### */

char *TitrePrincipalRelax = "O P T I M I Z A T I O N   &   M A P P I N G";
int   NbrPrincipalRelax = 7;
char *ListPrincipalRelax[] = { "[1] Edit <SL_FILE>",
        "[2] Global optimization of <SL_FILE>",
        "[3] Local optimization of <SL_FILE>",
        "[4] Mapping standard cells of <SL_FILE>",
        "[5] Mapping with C4 of <SL_FILE>",
	"[6] Parameter management",
	"[7] Return" };


char *TitrePrincipal = "L O G I C    S Y N T H E S I S ";
int   NbrPrincipal = 7;
char *ListPrincipal[] = { "[1] Edit <SL_FILE>",
        "[2] Global optimization of <SL_FILE>",
        "[3] Local optimization of <SL_FILE>",
        "[4] Mapping standard cells of <SL_FILE>",
        "[5] Mapping with C4 of <SL_FILE>",
	"[6] Parameter management",
	"[7] Quit" };

char *TitreParam = "P A R A M E T E R   M A N A G E M E N T";
int   NbrParam = 6;
char *ListParam[] = { "[1] Modify <SL_FILEPAR>",
      "[2] Copy <SL_FILEPAR> on another file of parameters",
      "[3] Remove <SL_FILEPAR>",
      "[4] Load another file of parameters",
      "[5] Save modification on <SL_FILEPAR>", 
      "[6] Return" };
 
char *TitreDef = "P A R A M E T E R   M A N A G E M E N T";
int   NbrDef = 4;
char *ListDef[] = { "[1] Modify the parameters",
      "[2] Save a file of parameters",
      "[3] Load another file of parameters",
      "[4] Return" };
 
char *TitreModif = "M O D I F Y   P A R A M E T E R S   F I L E";
int   NbrModif = 7;
char *ListModif[] = { 
	    "[1] Optimization mode  : <SL_OPTIM>",
	    "[2] Optimization level : <SL_LEVEL>", 
	    "[3] Delayed Inputs     : <SL_DELAYPI>",
	    "[4] Auxiliary signal saved : <SL_GUARDEDAUX>",
	    "[5] Optimized Outputs  : <SL_OPTIMPO>",
            "[6] C4 parameters for the library : <SL_CCCC_LIB>",
            "[7] Return" };

char *TitreLibre = "C 4   P A R A M E T E R S";
int   NbrLibre = 3;
char *ListLibre[] = { 
	"[1] Number of serial transistors in N-graph : <SL_NUMTRANSN>",
	"[2] Number of serial transistors in P-graph : <SL_NUMTRANSP>",
	"[3] Return" };

