abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
abcapis.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [abcapis.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Include this file in the external code calling ABC.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - September 29, 2012.]
16 
17  Revision [$Id: abcapis.h,v 1.00 2012/09/29 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef MINI_AIG__abc_apis_h
22 #define MINI_AIG__abc_apis_h
23 
24 ////////////////////////////////////////////////////////////////////////
25 /// INCLUDES ///
26 ////////////////////////////////////////////////////////////////////////
27 
28 ////////////////////////////////////////////////////////////////////////
29 /// PARAMETERS ///
30 ////////////////////////////////////////////////////////////////////////
31 
32 ////////////////////////////////////////////////////////////////////////
33 /// BASIC TYPES ///
34 ////////////////////////////////////////////////////////////////////////
35 
36 ////////////////////////////////////////////////////////////////////////
37 /// MACRO DEFINITIONS ///
38 ////////////////////////////////////////////////////////////////////////
39 
40 ////////////////////////////////////////////////////////////////////////
41 /// FUNCTION DECLARATIONS ///
42 ////////////////////////////////////////////////////////////////////////
43 
44 // procedures to start and stop the ABC framework
45 extern void Abc_Start();
46 extern void Abc_Stop();
47 
48 // procedures to get the ABC framework (pAbc) and execute commands in it
49 extern void * Abc_FrameGetGlobalFrame();
50 extern int Cmd_CommandExecute( void * pAbc, char * pCommandLine );
51 
52 // procedures to input/output 'mini AIG'
53 extern void Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig );
54 extern void * Abc_NtkOutputMiniAig( void * pAbc );
55 
56 // procedures to set CI/CO arrival/required times
57 extern void Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall );
58 extern void Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall );
59 
60 // procedures to return the mapped network
61 extern int * Abc_NtkOutputMiniMapping( void * pAbc );
62 extern void Abc_NtkPrintMiniMapping( int * pArray );
63 
64 // procedures to access verifization status and a counter-example
65 extern int Abc_FrameReadProbStatus( void * pAbc );
66 extern void * Abc_FrameReadCex( void * pAbc );
67 
68 
69 #endif
70 
71 ////////////////////////////////////////////////////////////////////////
72 /// END OF FILE ///
73 ////////////////////////////////////////////////////////////////////////
74 
Abc_NtkSetCoRequiredTime
void Abc_NtkSetCoRequiredTime(void *pAbc, int iCo, float Rise, float Fall)
Definition: abcMap.c:944
Abc_NtkPrintMiniMapping
void Abc_NtkPrintMiniMapping(int *pArray)
Definition: abcMap.c:834
Abc_FrameReadCex
void * Abc_FrameReadCex(void *pAbc)
Cmd_CommandExecute
int Cmd_CommandExecute(void *pAbc, char *pCommandLine)
Abc_NtkInputMiniAig
void Abc_NtkInputMiniAig(void *pAbc, void *pMiniAig)
Abc_FrameReadProbStatus
int Abc_FrameReadProbStatus(void *pAbc)
Abc_NtkSetCiArrivalTime
void Abc_NtkSetCiArrivalTime(void *pAbc, int iCi, float Rise, float Fall)
Definition: abcMap.c:929
Abc_Stop
void Abc_Stop()
Definition: mainLib.c:76
Abc_FrameGetGlobalFrame
void * Abc_FrameGetGlobalFrame()
Definition: mainFrame.c:593
Abc_NtkOutputMiniAig
void * Abc_NtkOutputMiniAig(void *pAbc)
Abc_NtkOutputMiniMapping
int * Abc_NtkOutputMiniMapping(void *pAbc)
Definition: abcMap.c:875
Abc_Start
void Abc_Start()
INCLUDES ///.
Definition: mainLib.c:52