distrib/sources/tas/zen/zen_beh.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   AVERTEC                      */
   4 /*                                                                          */
   5 /*    Produit : ZEN Version 1.00                                            */
   6 /*    Fichier : zen_beh.h                                                   */
   7 /*                                                                          */
   8 /*    (c) copyright 2002 AVERTEC                                            */
   9 /*    Tous droits reserves                                                  */
  10 /*                                                                          */
  11 /*    Auteur(s) :   Stephane Picault                                        */
  12 /*                  Antony PINTO                                            */
  13 /*                                                                          */
  14 /****************************************************************************/
  15
  16 #ifndef ZEN_BEH_H
  17 #define ZEN_BEH_H
  18
  19 #define ZEN_HTSIZE                 100
  20 #define ZEN_EXPLODEDBDD     ((pNode) 0xFFFFFFFF)
  21
  22 /*------------------------------------------------------------\
  23 |                                                             |
  24 |                           Functions                         |
  25 |                                                             |
  26 \------------------------------------------------------------*/
  27
  28 //extern  pNode            derivSigByIndex    ();
  29
  30 extern  void             display_befig      ( befig_list    *pt_befig    );
  31 extern  void             display_BeMachin   ( befig_list    *beh        ,
  32                                               char          *name        );
  33 extern  void             display_binode     ( pCircuit       ptCct      ,
  34                                               binode_list   *ptBinod     );
  35 extern  void             display_biabl      ( biabl_list    *ptBiabl     );
  36 extern  void             display_berin_ref  ( berin_list    *ptBeRin     );
  37
  38 extern  bebux_list      *searchBeBux        ( befig_list    *beh        ,
  39                                               char          *name        );
  40 extern  bebus_list      *searchBeBus        ( befig_list    *beh        ,
  41                                               char          *name        );
  42 extern  bereg_list      *searchBeReg        ( befig_list    *beh        ,
  43                                               char          *name        );
  44 extern  beout_list      *searchBeOut        ( befig_list    *beh        ,
  45                                               char          *name        );
  46 extern  berin_list      *searchBeRin        ( befig_list    *beh        ,
  47                                               char          *name        );
  48 extern  beaux_list      *searchBeAux        ( befig_list    *beh        ,
  49                                               char          *name        );
  50
  51 extern  befig_list      *zen_remplacebebus  ( befig_list    *pt_befig    );
  52 extern  befig_list      *zen_remplacebebux  ( befig_list    *pt_befig    );
  53
  54         void             zen_mbddtot        ( befig_list    *pt_befig    );
  55 extern  void             zen_makbehbdd      ( befig_list    *pt_befig    );
  56 extern  chain_list      *zen_cutAbl         ( chain_list    *abl         );
  57 extern  pNode            zen_ablToBddCct    ( pCircuit       pC         ,
  58                                               chain_list    *expr       /*,
  59                                               pCircuit       iCct */       );
  60         void             zen_indexbdd       ( befig_list    *pt_fig      );
  61         void             zen_initCct        ( befig_list    *befig       );
  62
  63 #endif
  64