distrib/sources/yagle/yagle/yag_detect.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   Alliance                     */
   4 /*                                                                          */
   5 /*    Produit : YAGLE  v3.50                                                */
   6 /*    Fichier : yag_detect.h                                                */
   7 /*                                                                          */
   8 /*    (c) copyright 1994 Laboratoire MASI equipe CAO & VLSI                 */
   9 /*    Tous droits reserves                                                  */
  10 /*    Support : e-mail alliance-support@asim.lip6.fr                        */
  11 /*                                                                          */
  12 /*                                                                          */
  13 /****************************************************************************/
  14
  15 void            yagDetectBadBranches(cone_list *ptcone);
  16 void            yagDetectParaTrans (cone_list *ptcone);
  17 void            yagAddSwitchInversion(cnsfig_list *ptcnsfig);
  18 void            yagCorrectSwitch (cone_list *ptcone);
  19 void            yagDetectSwitch (cone_list *ptcone);
  20 void            yagDetectParallelBranches (cone_list *ptcone);
  21 void            yagDetectPullup (cone_list *ptcone);
  22 void            yagDetectPulldown (cone_list *ptcone);
  23 void            yagDetectLoops (cone_list *ptcone);
  24 int             yagCountLoops (cone_list *ptcone, int warning);
  25 int             yagDetectTransfer (cone_list *ptcone);
  26 void            yagDetectDegraded (cone_list *ptcone);
  27 int             yagDetectFalseConf (cone_list *ptcone);
  28 int             yagCheckFalseConfBranch (branch_list *ptbranch, losig_list *ptfirstsig);
  29 void            yagDetectLoopConf (cone_list *ptcone);
  30 void            yagRemoveRedundantBranches (cone_list *ptcone);
  31 void            yagTransferParallel (lofig_list *ptlofig);
  32 int             yagDetectGlitcher (branch_list *ptbranch, lotrs_list *pttrans, int mark);
  33 void            yagDetectClockLatch (inffig_list *ifl, cnsfig_list *ptcnsfig);
  34 void            yagDetectClockPrech (inffig_list *ifl, cnsfig_list *ptcnsfig);
  35 int             yagPropagateStuck (cone_list *ptcone);
  36 int             yagDetectStuck (cone_list *ptcone);
  37 void            yagUnmarkLatch (cone_list *ptcone, int cutloop, int warn);
  38 void            yagInfUnmarkLatches (inffig_list *ifl, cnsfig_list *ptcnsfig);
  39 void            yagDetectNotClockLatch(inffig_list *ifl, cnsfig_list *ptcnsfig);
  40 void            yagDetectClockGating(inffig_list *ifl, cnsfig_list *ptcnsfig);
  41 void            yagDetectDelayedRS(cnsfig_list *ptcnsfig);