mainInit.c 3.81 KB
Newer Older
Alan Mishchenko committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/**CFile****************************************************************

  FileName    [mainInit.c]

  SystemName  [ABC: Logic synthesis and verification system.]

  PackageName [The main package.]

  Synopsis    [Initialization procedures.]

  Author      [Alan Mishchenko]
  
  Affiliation [UC Berkeley]

  Date        [Ver. 1.0. Started - June 20, 2005.]

Alan Mishchenko committed
17
  Revision    [$Id: mainInit.c,v 1.3 2005/09/14 22:53:37 casem Exp $]
Alan Mishchenko committed
18 19 20

***********************************************************************/

21
#include "base/abc/abc.h"
Alan Mishchenko committed
22 23
#include "mainInt.h"

24 25
ABC_NAMESPACE_IMPL_START

26
//#define USE_ABC2
Alan Mishchenko committed
27
//#define USE_ABC85
28
 
Alan Mishchenko committed
29 30 31 32 33 34 35 36 37 38
////////////////////////////////////////////////////////////////////////
///                        DECLARATIONS                              ///
////////////////////////////////////////////////////////////////////////

extern void Abc_Init( Abc_Frame_t * pAbc );
extern void Abc_End ( Abc_Frame_t * pAbc );
extern void Io_Init( Abc_Frame_t * pAbc );
extern void Io_End ( Abc_Frame_t * pAbc );
extern void Cmd_Init( Abc_Frame_t * pAbc );
extern void Cmd_End ( Abc_Frame_t * pAbc );
Alan Mishchenko committed
39 40
extern void If_Init( Abc_Frame_t * pAbc );
extern void If_End ( Abc_Frame_t * pAbc );
Alan Mishchenko committed
41 42 43 44 45 46
extern void Map_Init( Abc_Frame_t * pAbc );
extern void Map_End ( Abc_Frame_t * pAbc );
extern void Mio_Init( Abc_Frame_t * pAbc );
extern void Mio_End ( Abc_Frame_t * pAbc );
extern void Super_Init( Abc_Frame_t * pAbc );
extern void Super_End ( Abc_Frame_t * pAbc );
47 48 49 50
extern void Libs_Init( Abc_Frame_t * pAbc );
extern void Libs_End( Abc_Frame_t * pAbc );
extern void Load_Init( Abc_Frame_t * pAbc );
extern void Load_End( Abc_Frame_t * pAbc );
51 52
extern void Scl_Init( Abc_Frame_t * pAbc );
extern void Scl_End( Abc_Frame_t * pAbc );
Alan Mishchenko committed
53 54
extern void Test_Init( Abc_Frame_t * pAbc );
extern void Test_End( Abc_Frame_t * pAbc );
55 56
extern void Abc2_Init( Abc_Frame_t * pAbc );
extern void Abc2_End ( Abc_Frame_t * pAbc );
Alan Mishchenko committed
57 58
extern void Abc85_Init( Abc_Frame_t * pAbc );
extern void Abc85_End( Abc_Frame_t * pAbc );
Alan Mishchenko committed
59 60

////////////////////////////////////////////////////////////////////////
Alan Mishchenko committed
61
///                     FUNCTION DEFINITIONS                         ///
Alan Mishchenko committed
62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77
////////////////////////////////////////////////////////////////////////

/**Function*************************************************************

  Synopsis    [Starts all the packages.]

  Description []
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
void Abc_FrameInit( Abc_Frame_t * pAbc )
{
    Cmd_Init( pAbc );
78
    Cmd_CommandExecute( pAbc, "set checkread" ); 
Alan Mishchenko committed
79 80
    Io_Init( pAbc );
    Abc_Init( pAbc );
Alan Mishchenko committed
81
    If_Init( pAbc );
Alan Mishchenko committed
82 83 84
    Map_Init( pAbc );
    Mio_Init( pAbc );
    Super_Init( pAbc );
Alan Mishchenko committed
85
    Libs_Init( pAbc );
86
    Load_Init( pAbc );
87
    Scl_Init( pAbc );
Alan Mishchenko committed
88
    Test_Init( pAbc );
89 90 91
#ifdef USE_ABC2
    Abc2_Init( pAbc );
#endif
Alan Mishchenko committed
92 93 94
#ifdef USE_ABC85
    Abc85_Init( pAbc );
#endif
95
    EXT_ABC_INIT(pAbc) // plugin for external functionality
Alan Mishchenko committed
96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
}


/**Function*************************************************************

  Synopsis    [Stops all the packages.]

  Description []
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
void Abc_FrameEnd( Abc_Frame_t * pAbc )
{
    Abc_End( pAbc );
    Io_End( pAbc );
    Cmd_End( pAbc );
Alan Mishchenko committed
115
    If_End( pAbc );
Alan Mishchenko committed
116 117 118
    Map_End( pAbc );
    Mio_End( pAbc );
    Super_End( pAbc );
Alan Mishchenko committed
119
    Libs_End( pAbc );
120
    Load_End( pAbc );
121
    Scl_End( pAbc );
Alan Mishchenko committed
122
    Test_End( pAbc );
123 124 125
#ifdef USE_ABC2
    Abc2_End( pAbc );
#endif
Alan Mishchenko committed
126 127 128
#ifdef USE_ABC85
    Abc85_End( pAbc );
#endif
129
    EXT_ABC_END(pAbc) // plugin for external functionality
Alan Mishchenko committed
130 131 132 133 134 135 136 137
}


////////////////////////////////////////////////////////////////////////
///                       END OF FILE                                ///
////////////////////////////////////////////////////////////////////////


138 139
ABC_NAMESPACE_IMPL_END