distrib/sources/yagle/genius/gen_verif_vector.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   Alliance                     */
   4 /*                                                                          */
   5 /*    Produit : GENIUS   v1.00                                              */
   6 /*    Fichier : gen_verif_vector.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 /* compare if arrays of instance and model are equal                       */
  20 /* if different return 1 else 0                                            */
  21 /* a signal without any dimension matches with all vector model (cf. VHDL) */
  22 /***************************************************************************/
  23 extern int Compare_Vector(tree_list *instance, tree_list *model,
  24                            ptype_list *env_instance, ptype_list *env_model);
  25
  26 /***************************************************************************/
  27 /* verify that instance vector is contained by model vector                */
  28 /***************************************************************************/
  29 extern int Bound_Vector(tree_list *instance, tree_list *model,
  30                         ptype_list *env);
  31
  32 /***************************************************************************/
  33 /*               verify the direction of a vector array                    */
  34 /* return size of vector                                                   */
  35 /* env is the list of known variables                                      */
  36 /***************************************************************************/
  37 extern int Verif_Vector(tree_list *tree, ptype_list *env);
  38
  39 /***************************************************************************/
  40 /*               verify the direction of a vector array                    */
  41 /* return size of vector                                                   */
  42 /* env is the list of known variables                                      */
  43 /***************************************************************************/
  44 extern int Size_Vector(tree_list *tree, ptype_list *env);
  45
  46 /* return number of vars in vector expression, updated after using Size_Vector*/
  47 int Nb_Vector_Vars();