distrib/sources/yagle/genius/gen_verif_exclude.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   Alliance                     */
   4 /*                                                                          */
   5 /*    Produit : GENIUS   v1.00                                              */
   6 /*    Fichier : gen_verif_exclude.h                                         */
   7 /*                                                                          */
   8 /*    Auteur(s) : Francois DONNET                        le : 10/06/1999    */
   9 /*                                                                          */
  10 /*    (c) copyright 1999 Laboratoire MASI equipe CAO & VLSI                 */
  11 /*    Tous droits reserves                                                  */
  12 /*    Support : e-mail alliance-support@asim.lip6.fr                        */
  13 /*                                                                          */
  14 /*                                                                          */
  15 /****************************************************************************/
  16
  17
  18 /****************************************************************************/
  19 /*  return the list of instances excluded contained in tree and put on the  */
  20 /* top of exclude.verify double exclusion                                   */
  21 /****************************************************************************/
  22 extern ptype_list *Verify_Exclude(tree_list *tree,
  23                                          ptype_list *exclude);
  24
  25 /****************************************************************************/
  26 /* free the last list of exclude and build another from tree                */
  27 /* must be done before all other functions below                            */
  28 /****************************************************************************/
  29 extern void Init_Exclude(tree_list *tree);
  30
  31 /***************************************************************************/
  32 /*    control if loins is Excluded return line number if true else 0       */
  33 /***************************************************************************/
  34 extern int Is_Exclude(char *loins);
  35
  36 /***************************************************************************/
  37 /*       control if all loins named in Excluded are in architecture        */
  38 /***************************************************************************/
  39 extern void Verif_Alone_Exclude(tree_list *archi);
  40
  41 /***************************************************************************/
  42 /*             comparison between type of tree and type of instance        */
  43 /* an error is dumped if discrepancy                                       */
  44 /***************************************************************************/
  45 extern void Compare_Type(tree_list *tree,
  46                          tree_list *instance, int type_instance);
  47
  48
  49 extern void Expand_Exclude(ptype_list *pt);