abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
base/main/main.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [main.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [The main package.]
8 
9  Synopsis [External declarations of the main package.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: main.h,v 1.1 2008/05/14 22:13:13 wudenni Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__base__main__main_h
22 #define ABC__base__main__main_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 // core packages
30 #include "base/abc/abc.h"
31 #include "aig/gia/gia.h"
32 
33 // data structure packages
34 #include "misc/vec/vec.h"
35 #include "misc/st/st.h"
36 
37 ABC_NAMESPACE_HEADER_START
38 // the framework containing all data
39 typedef struct Abc_Frame_t_ Abc_Frame_t;
40 ABC_NAMESPACE_HEADER_END
41 
42 #include "base/cmd/cmd.h"
43 #include "base/io/ioAbc.h"
44 
45 ABC_NAMESPACE_HEADER_START
46 
47 ////////////////////////////////////////////////////////////////////////
48 /// PARAMETERS ///
49 ////////////////////////////////////////////////////////////////////////
50 
51 ////////////////////////////////////////////////////////////////////////
52 /// TYPEDEFS ///
53 ////////////////////////////////////////////////////////////////////////
54 
55 ////////////////////////////////////////////////////////////////////////
56 /// GLOBAL VARIABLES ///
57 ////////////////////////////////////////////////////////////////////////
58 
59 ////////////////////////////////////////////////////////////////////////
60 /// STRUCTURE DEFINITIONS ///
61 ////////////////////////////////////////////////////////////////////////
62 
63 ////////////////////////////////////////////////////////////////////////
64 /// MACRO DEFINITIONS ///
65 ////////////////////////////////////////////////////////////////////////
66 
67 ////////////////////////////////////////////////////////////////////////
68 /// FUNCTION DEFINITIONS ///
69 ////////////////////////////////////////////////////////////////////////
70 
71 /*=== main.c ===========================================================*/
72 extern ABC_DLL void Abc_Start();
73 extern ABC_DLL void Abc_Stop();
74 
75 /*=== mainFrame.c ===========================================================*/
76 extern ABC_DLL Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p );
77 extern ABC_DLL Gia_Man_t * Abc_FrameReadGia( Abc_Frame_t * p );
78 extern ABC_DLL FILE * Abc_FrameReadOut( Abc_Frame_t * p );
79 extern ABC_DLL FILE * Abc_FrameReadErr( Abc_Frame_t * p );
80 extern ABC_DLL int Abc_FrameReadMode( Abc_Frame_t * p );
81 extern ABC_DLL int Abc_FrameSetMode( Abc_Frame_t * p, int fNameMode );
82 extern ABC_DLL void Abc_FrameRestart( Abc_Frame_t * p );
83 extern ABC_DLL int Abc_FrameShowProgress( Abc_Frame_t * p );
84 extern ABC_DLL void Abc_FrameClearVerifStatus( Abc_Frame_t * p );
85 extern ABC_DLL void Abc_FrameUpdateGia( Abc_Frame_t * p, Gia_Man_t * pNew );
86 extern ABC_DLL Gia_Man_t * Abc_FrameGetGia( Abc_Frame_t * p );
87 
88 extern ABC_DLL void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet );
89 extern ABC_DLL void Abc_FrameSwapCurrentAndBackup( Abc_Frame_t * p );
90 extern ABC_DLL void Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet );
91 extern ABC_DLL void Abc_FrameUnmapAllNetworks( Abc_Frame_t * p );
92 extern ABC_DLL void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p );
93 
94 extern ABC_DLL void Abc_FrameSetGlobalFrame( Abc_Frame_t * p );
95 extern ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame();
96 extern ABC_DLL Abc_Frame_t * Abc_FrameReadGlobalFrame();
97 
98 extern ABC_DLL Vec_Ptr_t * Abc_FrameReadStore();
99 extern ABC_DLL int Abc_FrameReadStoreSize();
100 extern ABC_DLL void * Abc_FrameReadLibLut();
101 extern ABC_DLL void * Abc_FrameReadLibBox();
102 extern ABC_DLL void * Abc_FrameReadLibGen();
103 extern ABC_DLL void * Abc_FrameReadLibGen2();
104 extern ABC_DLL void * Abc_FrameReadLibSuper();
105 extern ABC_DLL void * Abc_FrameReadLibScl();
106 extern ABC_DLL void * Abc_FrameReadManDd();
107 extern ABC_DLL void * Abc_FrameReadManDec();
108 extern ABC_DLL void * Abc_FrameReadManDsd();
109 extern ABC_DLL void * Abc_FrameReadManDsd2();
110 
111 extern ABC_DLL char * Abc_FrameReadFlag( char * pFlag );
112 extern ABC_DLL int Abc_FrameIsFlagEnabled( char * pFlag );
113 extern ABC_DLL int Abc_FrameIsBatchMode();
114 extern ABC_DLL int Abc_FrameIsBridgeMode();
115 extern ABC_DLL void Abc_FrameSetBridgeMode();
116 
117 extern ABC_DLL int Abc_FrameReadBmcFrames( Abc_Frame_t * p );
118 extern ABC_DLL int Abc_FrameReadProbStatus( Abc_Frame_t * p );
119 extern ABC_DLL Abc_Cex_t * Abc_FrameReadCex( Abc_Frame_t * p );
120 extern ABC_DLL Vec_Ptr_t * Abc_FrameReadCexVec( Abc_Frame_t * p );
121 extern ABC_DLL Vec_Int_t * Abc_FrameReadStatusVec( Abc_Frame_t * p );
122 extern ABC_DLL Vec_Ptr_t * Abc_FrameReadPoEquivs( Abc_Frame_t * p );
123 extern ABC_DLL Vec_Int_t * Abc_FrameReadPoStatuses( Abc_Frame_t * p );
124 extern ABC_DLL Vec_Int_t * Abc_FrameReadObjIds( Abc_Frame_t * p );
125 
126 extern ABC_DLL int Abc_FrameReadCexPiNum( Abc_Frame_t * p );
127 extern ABC_DLL int Abc_FrameReadCexRegNum( Abc_Frame_t * p );
128 extern ABC_DLL int Abc_FrameReadCexPo( Abc_Frame_t * p );
129 extern ABC_DLL int Abc_FrameReadCexFrame( Abc_Frame_t * p );
130 
131 extern ABC_DLL void Abc_FrameSetNtkStore( Abc_Ntk_t * pNtk );
132 extern ABC_DLL void Abc_FrameSetNtkStoreSize( int nStored );
133 extern ABC_DLL void Abc_FrameSetLibLut( void * pLib );
134 extern ABC_DLL void Abc_FrameSetLibBox( void * pLib );
135 extern ABC_DLL void Abc_FrameSetLibGen( void * pLib );
136 extern ABC_DLL void Abc_FrameSetLibGen2( void * pLib );
137 extern ABC_DLL void Abc_FrameSetLibSuper( void * pLib );
138 extern ABC_DLL void Abc_FrameSetLibVer( void * pLib );
139 extern ABC_DLL void Abc_FrameSetFlag( char * pFlag, char * pValue );
140 extern ABC_DLL void Abc_FrameSetCex( Abc_Cex_t * pCex );
141 extern ABC_DLL void Abc_FrameSetNFrames( int nFrames );
142 extern ABC_DLL void Abc_FrameSetStatus( int Status );
143 extern ABC_DLL void Abc_FrameSetManDsd( void * pMan );
144 extern ABC_DLL void Abc_FrameSetManDsd2( void * pMan );
145 
146 extern ABC_DLL int Abc_FrameCheckPoConst( Abc_Frame_t * p, int iPoNum );
147 
148 extern ABC_DLL void Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex );
149 extern ABC_DLL void Abc_FrameReplaceCexVec( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvCexVec );
150 extern ABC_DLL void Abc_FrameReplacePoEquivs( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvPoEquivs );
151 extern ABC_DLL void Abc_FrameReplacePoStatuses( Abc_Frame_t * pAbc, Vec_Int_t ** pvStatuses );
152 
153 extern ABC_DLL char * Abc_FrameReadDrivingCell();
154 extern ABC_DLL float Abc_FrameReadMaxLoad();
155 extern ABC_DLL void Abc_FrameSetDrivingCell( char * pName );
156 extern ABC_DLL void Abc_FrameSetMaxLoad( float Load );
157 
158 ABC_NAMESPACE_HEADER_END
159 
160 #endif
161 
162 ////////////////////////////////////////////////////////////////////////
163 /// END OF FILE ///
164 ////////////////////////////////////////////////////////////////////////
Abc_FrameReadMaxLoad
ABC_DLL float Abc_FrameReadMaxLoad()
Definition: mainFrame.c:98
Abc_FrameReadGia
ABC_DLL Gia_Man_t * Abc_FrameReadGia(Abc_Frame_t *p)
Definition: mainFrame.c:298
Abc_FrameReplaceCurrentNetwork
ABC_DLL void Abc_FrameReplaceCurrentNetwork(Abc_Frame_t *p, Abc_Ntk_t *pNet)
Definition: mainFrame.c:493
Abc_FrameSwapCurrentAndBackup
ABC_DLL void Abc_FrameSwapCurrentAndBackup(Abc_Frame_t *p)
Definition: mainFrame.c:451
Abc_FrameIsBridgeMode
ABC_DLL int Abc_FrameIsBridgeMode()
Definition: mainFrame.c:94
Abc_FrameSetLibSuper
ABC_DLL void Abc_FrameSetLibSuper(void *pLib)
Definition: mainFrame.c:84
Vec_Ptr_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition: vecPtr.h:42
Abc_FrameReadManDd
ABC_DLL void * Abc_FrameReadManDd()
Definition: mainFrame.c:60
Abc_FrameReadDrivingCell
ABC_DLL char * Abc_FrameReadDrivingCell()
Definition: mainFrame.c:97
Abc_Frame_t_::Status
int Status
Definition: mainInt.h:117
Abc_FrameReadLibGen
ABC_DLL void * Abc_FrameReadLibGen()
Definition: mainFrame.c:56
Abc_FrameReadPoStatuses
ABC_DLL Vec_Int_t * Abc_FrameReadPoStatuses(Abc_Frame_t *p)
Definition: mainFrame.c:72
Abc_FrameSetBridgeMode
ABC_DLL void Abc_FrameSetBridgeMode()
Definition: mainFrame.c:95
Abc_FrameDeleteAllNetworks
ABC_DLL void Abc_FrameDeleteAllNetworks(Abc_Frame_t *p)
Definition: mainFrame.c:551
Abc_FrameReadLibGen2
ABC_DLL void * Abc_FrameReadLibGen2()
Definition: mainFrame.c:57
Abc_FrameSetLibLut
ABC_DLL void Abc_FrameSetLibLut(void *pLib)
Definition: mainFrame.c:80
Abc_FrameReadPoEquivs
ABC_DLL Vec_Ptr_t * Abc_FrameReadPoEquivs(Abc_Frame_t *p)
Definition: mainFrame.c:71
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Abc_FrameSetNtkStoreSize
ABC_DLL void Abc_FrameSetNtkStoreSize(int nStored)
Vec_Int_t
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition: bblif.c:37
Abc_FrameReadProbStatus
ABC_DLL int Abc_FrameReadProbStatus(Abc_Frame_t *p)
Definition: mainFrame.c:67
Abc_Ntk_t_
Definition: abc.h:153
Abc_FrameSetCurrentNetwork
ABC_DLL void Abc_FrameSetCurrentNetwork(Abc_Frame_t *p, Abc_Ntk_t *pNet)
Definition: mainFrame.c:396
Abc_FrameIsBatchMode
ABC_DLL int Abc_FrameIsBatchMode()
Definition: mainFrame.c:92
Abc_FrameReplaceCexVec
ABC_DLL void Abc_FrameReplaceCexVec(Abc_Frame_t *pAbc, Vec_Ptr_t **pvCexVec)
Definition: abc.c:515
Abc_FrameSetLibVer
ABC_DLL void Abc_FrameSetLibVer(void *pLib)
Abc_FrameReadCexVec
ABC_DLL Vec_Ptr_t * Abc_FrameReadCexVec(Abc_Frame_t *p)
Definition: mainFrame.c:69
Abc_FrameReplaceCex
ABC_DLL void Abc_FrameReplaceCex(Abc_Frame_t *pAbc, Abc_Cex_t **ppCex)
FUNCTION DEFINITIONS ///.
Definition: abc.c:490
Abc_Start
ABC_NAMESPACE_HEADER_END ABC_NAMESPACE_HEADER_START ABC_DLL void Abc_Start()
PARAMETERS ///.
Definition: mainLib.c:52
Abc_FrameSetStatus
ABC_DLL void Abc_FrameSetStatus(int Status)
Definition: mainFrame.c:88
Abc_FrameSetGlobalFrame
ABC_DLL void Abc_FrameSetGlobalFrame(Abc_Frame_t *p)
Definition: mainFrame.c:577
Abc_FrameGetGlobalFrame
ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame()
Definition: mainFrame.c:593
Abc_FrameUnmapAllNetworks
ABC_DLL void Abc_FrameUnmapAllNetworks(Abc_Frame_t *p)
Definition: mainFrame.c:532
Abc_FrameSetLibGen2
ABC_DLL void Abc_FrameSetLibGen2(void *pLib)
Definition: mainFrame.c:83
ABC_DLL
#define ABC_DLL
Definition: abc_global.h:53
Abc_FrameReadCexFrame
ABC_DLL int Abc_FrameReadCexFrame(Abc_Frame_t *p)
Definition: mainFrame.c:78
Abc_FrameReadStatusVec
ABC_DLL Vec_Int_t * Abc_FrameReadStatusVec(Abc_Frame_t *p)
Definition: mainFrame.c:70
Abc_FrameReadManDec
ABC_DLL void * Abc_FrameReadManDec()
Definition: mainFrame.c:61
Abc_FrameClearVerifStatus
ABC_DLL void Abc_FrameClearVerifStatus(Abc_Frame_t *p)
Definition: mainFrame.c:247
Abc_FrameSetFlag
ABC_DLL void Abc_FrameSetFlag(char *pFlag, char *pValue)
Definition: mainFrame.c:85
Abc_FrameSetMaxLoad
ABC_DLL void Abc_FrameSetMaxLoad(float Load)
Definition: mainFrame.c:100
Abc_Frame_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition: base/main/main.h:39
Abc_FrameSetManDsd
ABC_DLL void Abc_FrameSetManDsd(void *pMan)
Definition: mainFrame.c:89
Abc_FrameSetCex
ABC_DLL void Abc_FrameSetCex(Abc_Cex_t *pCex)
Definition: mainFrame.c:86
Abc_FrameReadCexPo
ABC_DLL int Abc_FrameReadCexPo(Abc_Frame_t *p)
Definition: mainFrame.c:77
Abc_Frame_t_
STRUCTURE DEFINITIONS ///.
Definition: mainInt.h:56
Abc_FrameReadLibBox
ABC_DLL void * Abc_FrameReadLibBox()
Definition: mainFrame.c:55
Abc_FrameGetGia
ABC_DLL Gia_Man_t * Abc_FrameGetGia(Abc_Frame_t *p)
Definition: abc.c:656
Abc_FrameReadLibSuper
ABC_DLL void * Abc_FrameReadLibSuper()
Definition: mainFrame.c:58
Abc_Stop
ABC_DLL void Abc_Stop()
Definition: mainLib.c:76
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Abc_FrameReadManDsd
ABC_DLL void * Abc_FrameReadManDsd()
Definition: mainFrame.c:62
Abc_Frame_t_::nFrames
int nFrames
Definition: mainInt.h:118
Abc_FrameSetManDsd2
ABC_DLL void Abc_FrameSetManDsd2(void *pMan)
Definition: mainFrame.c:90
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Abc_FrameSetLibBox
ABC_DLL void Abc_FrameSetLibBox(void *pLib)
Definition: mainFrame.c:81
Abc_FrameReplacePoEquivs
ABC_DLL void Abc_FrameReplacePoEquivs(Abc_Frame_t *pAbc, Vec_Ptr_t **pvPoEquivs)
Definition: abc.c:537
Abc_FrameReadManDsd2
ABC_DLL void * Abc_FrameReadManDsd2()
Definition: mainFrame.c:63
Abc_FrameReadCexRegNum
ABC_DLL int Abc_FrameReadCexRegNum(Abc_Frame_t *p)
Definition: mainFrame.c:76
Abc_FrameReadNtk
ABC_DLL Abc_Ntk_t * Abc_FrameReadNtk(Abc_Frame_t *p)
Definition: mainFrame.c:282
Abc_FrameShowProgress
ABC_DLL int Abc_FrameShowProgress(Abc_Frame_t *p)
Definition: mainFrame.c:265
Abc_FrameSetNFrames
ABC_DLL void Abc_FrameSetNFrames(int nFrames)
Definition: mainFrame.c:87
Gia_Man_t_
Definition: gia.h:95
Abc_FrameReadLibScl
ABC_DLL void * Abc_FrameReadLibScl()
Definition: mainFrame.c:59
Abc_FrameIsFlagEnabled
ABC_DLL int Abc_FrameIsFlagEnabled(char *pFlag)
Definition: mainFrame.c:113
Abc_FrameReadGlobalFrame
ABC_DLL Abc_Frame_t * Abc_FrameReadGlobalFrame()
Definition: mainFrame.c:616
Abc_FrameReadCexPiNum
ABC_DLL int Abc_FrameReadCexPiNum(Abc_Frame_t *p)
Definition: mainFrame.c:75
Abc_FrameReadBmcFrames
ABC_DLL int Abc_FrameReadBmcFrames(Abc_Frame_t *p)
Definition: mainFrame.c:66
Abc_FrameReplacePoStatuses
ABC_DLL void Abc_FrameReplacePoStatuses(Abc_Frame_t *pAbc, Vec_Int_t **pvStatuses)
Definition: abc.c:556
Abc_FrameReadObjIds
ABC_DLL Vec_Int_t * Abc_FrameReadObjIds(Abc_Frame_t *p)
Definition: mainFrame.c:73
Abc_FrameReadErr
ABC_DLL FILE * Abc_FrameReadErr(Abc_Frame_t *p)
Definition: mainFrame.c:330
Abc_FrameReadStoreSize
ABC_DLL int Abc_FrameReadStoreSize()
Definition: mainFrame.c:53
Abc_FrameReadMode
ABC_DLL int Abc_FrameReadMode(Abc_Frame_t *p)
Definition: mainFrame.c:346
Abc_FrameReadFlag
ABC_DLL char * Abc_FrameReadFlag(char *pFlag)
Definition: mainFrame.c:64
Abc_Cex_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Cex_t_ Abc_Cex_t
INCLUDES ///.
Definition: utilCex.h:39
Abc_FrameSetLibGen
ABC_DLL void Abc_FrameSetLibGen(void *pLib)
Definition: mainFrame.c:82
Abc_FrameReadOut
ABC_DLL FILE * Abc_FrameReadOut(Abc_Frame_t *p)
Definition: mainFrame.c:314
Abc_FrameUpdateGia
ABC_DLL void Abc_FrameUpdateGia(Abc_Frame_t *p, Gia_Man_t *pNew)
Definition: abc.c:616
Abc_FrameSetMode
ABC_DLL int Abc_FrameSetMode(Abc_Frame_t *p, int fNameMode)
Definition: mainFrame.c:369
Abc_FrameSetDrivingCell
ABC_DLL void Abc_FrameSetDrivingCell(char *pName)
Definition: mainFrame.c:99
Abc_FrameReadCex
ABC_DLL Abc_Cex_t * Abc_FrameReadCex(Abc_Frame_t *p)
Definition: mainFrame.c:68
Abc_FrameRestart
ABC_DLL void Abc_FrameRestart(Abc_Frame_t *p)
Definition: mainFrame.c:232
Abc_FrameReadLibLut
ABC_DLL void * Abc_FrameReadLibLut()
Definition: mainFrame.c:54
Abc_Frame_t_::pCex
Abc_Cex_t * pCex
Definition: mainInt.h:111
Abc_FrameReadStore
ABC_DLL Vec_Ptr_t * Abc_FrameReadStore()
FUNCTION DEFINITIONS ///.
Definition: mainFrame.c:52
Abc_FrameSetNtkStore
ABC_DLL void Abc_FrameSetNtkStore(Abc_Ntk_t *pNtk)
Abc_FrameCheckPoConst
ABC_DLL int Abc_FrameCheckPoConst(Abc_Frame_t *p, int iPoNum)
Definition: mainFrame.c:684