abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
ioAbc.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [ioAbc.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Command processing package.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: ioAbc.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__base__io__ioAbc_h
22 #define ABC__base__io__ioAbc_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 #include "base/abc/abc.h"
30 #include "misc/extra/extra.h"
31 
32 ////////////////////////////////////////////////////////////////////////
33 /// PARAMETERS ///
34 ////////////////////////////////////////////////////////////////////////
35 
36 
37 
38 ABC_NAMESPACE_HEADER_START
39 
40 
41 ////////////////////////////////////////////////////////////////////////
42 /// BASIC TYPES ///
43 ////////////////////////////////////////////////////////////////////////
44 
45 // network functionality
46 typedef enum {
47  IO_FILE_NONE = 0,
48  IO_FILE_AIGER,
49  IO_FILE_BAF,
50  IO_FILE_BBLIF,
51  IO_FILE_BLIF,
52  IO_FILE_BLIFMV,
53  IO_FILE_BENCH,
54  IO_FILE_BOOK,
55  IO_FILE_CNF,
56  IO_FILE_DOT,
57  IO_FILE_EDIF,
58  IO_FILE_EQN,
59  IO_FILE_GML,
60  IO_FILE_LIST,
61  IO_FILE_PLA,
62  IO_FILE_SMV,
63  IO_FILE_VERILOG,
64  IO_FILE_UNKNOWN
65 } Io_FileType_t;
66 
67 ////////////////////////////////////////////////////////////////////////
68 /// MACRO DEFINITIONS ///
69 ////////////////////////////////////////////////////////////////////////
70 
71 #define IO_WRITE_LINE_LENGTH 78 // the output line length
72 
73 ////////////////////////////////////////////////////////////////////////
74 /// FUNCTION DECLARATIONS ///
75 ////////////////////////////////////////////////////////////////////////
76 
77 /*=== abcReadAiger.c ==========================================================*/
78 extern Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck );
79 /*=== abcReadBaf.c ============================================================*/
80 extern Abc_Ntk_t * Io_ReadBaf( char * pFileName, int fCheck );
81 /*=== abcReadBblif.c ============================================================*/
82 extern Abc_Ntk_t * Io_ReadBblif( char * pFileName, int fCheck );
83 /*=== abcReadBlif.c ===========================================================*/
84 extern Abc_Ntk_t * Io_ReadBlif( char * pFileName, int fCheck );
85 /*=== abcReadBlifMv.c =========================================================*/
86 extern Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck );
87 /*=== abcReadBench.c ==========================================================*/
88 extern Abc_Ntk_t * Io_ReadBench( char * pFileName, int fCheck );
89 extern void Io_ReadBenchInit( Abc_Ntk_t * pNtk, char * pFileName );
90 /*=== abcReadEdif.c ===========================================================*/
91 extern Abc_Ntk_t * Io_ReadEdif( char * pFileName, int fCheck );
92 /*=== abcReadEqn.c ============================================================*/
93 extern Abc_Ntk_t * Io_ReadEqn( char * pFileName, int fCheck );
94 /*=== abcReadPla.c ============================================================*/
95 extern Abc_Ntk_t * Io_ReadPla( char * pFileName, int fZeros, int fCheck );
96 /*=== abcReadVerilog.c ========================================================*/
97 extern Abc_Ntk_t * Io_ReadVerilog( char * pFileName, int fCheck );
98 /*=== abcWriteAiger.c =========================================================*/
99 extern void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact, int fUnique );
100 extern void Io_WriteAigerCex( Abc_Cex_t * pCex, Abc_Ntk_t * pNtk, void * pG, char * pFileName );
101 /*=== abcWriteBaf.c ===========================================================*/
102 extern void Io_WriteBaf( Abc_Ntk_t * pNtk, char * pFileName );
103 /*=== abcWriteBblif.c ===========================================================*/
104 extern void Io_WriteBblif( Abc_Ntk_t * pNtk, char * pFileName );
105 /*=== abcWriteBlif.c ==========================================================*/
106 extern void Io_WriteBlifLogic( Abc_Ntk_t * pNtk, char * pFileName, int fWriteLatches );
107 extern void Io_WriteBlif( Abc_Ntk_t * pNtk, char * pFileName, int fWriteLatches, int fBb2Wb, int fSeq );
108 extern void Io_WriteTimingInfo( FILE * pFile, Abc_Ntk_t * pNtk );
109 extern void Io_WriteBlifSpecial( Abc_Ntk_t * pNtk, char * FileName, char * pLutStruct, int fUseHie );
110 /*=== abcWriteBlifMv.c ==========================================================*/
111 extern void Io_WriteBlifMv( Abc_Ntk_t * pNtk, char * FileName );
112 /*=== abcWriteBench.c =========================================================*/
113 extern int Io_WriteBench( Abc_Ntk_t * pNtk, const char * FileName );
114 extern int Io_WriteBenchLut( Abc_Ntk_t * pNtk, char * FileName );
115 /*=== abcWriteBook.c =========================================================*/
116 extern void Io_WriteBook( Abc_Ntk_t * pNtk, char * FileName );
117 /*=== abcWriteCnf.c ===========================================================*/
118 extern int Io_WriteCnf( Abc_Ntk_t * pNtk, char * FileName, int fAllPrimes );
119 /*=== abcWriteDot.c ===========================================================*/
120 extern void Io_WriteDot( Abc_Ntk_t * pNtk, char * FileName );
121 extern void Io_WriteDotNtk( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesShow, char * pFileName, int fGateNames, int fUseReverse );
122 extern void Io_WriteDotSeq( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesShow, char * pFileName, int fGateNames, int fUseReverse );
123 /*=== abcWriteEqn.c ===========================================================*/
124 extern void Io_WriteEqn( Abc_Ntk_t * pNtk, char * pFileName );
125 /*=== abcWriteGml.c ===========================================================*/
126 extern void Io_WriteGml( Abc_Ntk_t * pNtk, char * pFileName );
127 /*=== abcWriteList.c ==========================================================*/
128 extern void Io_WriteList( Abc_Ntk_t * pNtk, char * pFileName, int fUseHost );
129 /*=== abcWritePla.c ===========================================================*/
130 extern int Io_WritePla( Abc_Ntk_t * pNtk, char * FileName );
131 /*=== abcWriteSmv.c ===========================================================*/
132 extern int Io_WriteSmv( Abc_Ntk_t * pNtk, char * FileName );
133 /*=== abcWriteVerilog.c =======================================================*/
134 extern void Io_WriteVerilog( Abc_Ntk_t * pNtk, char * FileName );
135 /*=== abcUtil.c ===============================================================*/
136 extern Io_FileType_t Io_ReadFileType( char * pFileName );
137 extern Io_FileType_t Io_ReadLibType( char * pFileName );
138 extern Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck );
139 extern Abc_Ntk_t * Io_Read( char * pFileName, Io_FileType_t FileType, int fCheck, int fBarBufs );
140 extern void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType );
141 extern void Io_WriteHie( Abc_Ntk_t * pNtk, char * pBaseName, char * pFileName );
142 extern Abc_Obj_t * Io_ReadCreatePi( Abc_Ntk_t * pNtk, char * pName );
143 extern Abc_Obj_t * Io_ReadCreatePo( Abc_Ntk_t * pNtk, char * pName );
144 extern Abc_Obj_t * Io_ReadCreateLatch( Abc_Ntk_t * pNtk, char * pNetLI, char * pNetLO );
145 extern Abc_Obj_t * Io_ReadCreateResetLatch( Abc_Ntk_t * pNtk, int fBlifMv );
146 extern Abc_Obj_t * Io_ReadCreateResetMux( Abc_Ntk_t * pNtk, char * pResetLO, char * pDataLI, int fBlifMv );
147 extern Abc_Obj_t * Io_ReadCreateNode( Abc_Ntk_t * pNtk, char * pNameOut, char * pNamesIn[], int nInputs );
148 extern Abc_Obj_t * Io_ReadCreateConst( Abc_Ntk_t * pNtk, char * pName, int fConst1 );
149 extern Abc_Obj_t * Io_ReadCreateInv( Abc_Ntk_t * pNtk, char * pNameIn, char * pNameOut );
150 extern Abc_Obj_t * Io_ReadCreateBuf( Abc_Ntk_t * pNtk, char * pNameIn, char * pNameOut );
151 extern FILE * Io_FileOpen( const char * FileName, const char * PathVar, const char * Mode, int fVerbose );
152 
153 
154 
155 
156 ABC_NAMESPACE_HEADER_END
157 
158 
159 
160 #endif
161 
162 ////////////////////////////////////////////////////////////////////////
163 /// END OF FILE ///
164 ////////////////////////////////////////////////////////////////////////
165 
Io_ReadAiger
Abc_Ntk_t * Io_ReadAiger(char *pFileName, int fCheck)
FUNCTION DECLARATIONS ///.
Definition: ioReadAiger.c:234
Io_ReadBlifMv
Abc_Ntk_t * Io_ReadBlifMv(char *pFileName, int fBlifMv, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadBlifMv.c:142
Io_WriteEqn
void Io_WriteEqn(Abc_Ntk_t *pNtk, char *pFileName)
FUNCTION DEFINITIONS ///.
Definition: ioWriteEqn.c:50
Io_FileOpen
FILE * Io_FileOpen(const char *FileName, const char *PathVar, const char *Mode, int fVerbose)
Definition: ioUtil.c:819
Vec_Ptr_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition: vecPtr.h:42
Io_ReadBblif
Abc_Ntk_t * Io_ReadBblif(char *pFileName, int fCheck)
Definition: ioReadBblif.c:324
Io_WriteHie
void Io_WriteHie(Abc_Ntk_t *pNtk, char *pBaseName, char *pFileName)
Definition: ioUtil.c:477
Io_ReadCreateInv
Abc_Obj_t * Io_ReadCreateInv(Abc_Ntk_t *pNtk, char *pNameIn, char *pNameOut)
Definition: ioUtil.c:774
Io_ReadCreateResetLatch
Abc_Obj_t * Io_ReadCreateResetLatch(Abc_Ntk_t *pNtk, int fBlifMv)
Definition: ioUtil.c:693
Io_ReadBlif
Abc_Ntk_t * Io_ReadBlif(char *pFileName, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadBlif.c:92
Io_FileType_t
Io_FileType_t
INCLUDES ///.
Definition: ioAbc.h:46
Io_WriteDotSeq
void Io_WriteDotSeq(Abc_Ntk_t *pNtk, Vec_Ptr_t *vNodes, Vec_Ptr_t *vNodesShow, char *pFileName, int fGateNames, int fUseReverse)
Definition: ioWriteDot.c:434
Abc_Ntk_t_
Definition: abc.h:153
Io_WriteVerilog
void Io_WriteVerilog(Abc_Ntk_t *pNtk, char *FileName)
FUNCTION DEFINITIONS ///.
Definition: ioWriteVerilog.c:57
Io_ReadNetlist
Abc_Ntk_t * Io_ReadNetlist(char *pFileName, Io_FileType_t FileType, int fCheck)
Definition: ioUtil.c:98
Io_ReadCreateResetMux
Abc_Obj_t * Io_ReadCreateResetMux(Abc_Ntk_t *pNtk, char *pResetLO, char *pDataLI, int fBlifMv)
Io_ReadEdif
Abc_Ntk_t * Io_ReadEdif(char *pFileName, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadEdif.c:47
Io_ReadCreateConst
Abc_Obj_t * Io_ReadCreateConst(Abc_Ntk_t *pNtk, char *pName, int fConst1)
Definition: ioUtil.c:754
Io_WriteBlif
void Io_WriteBlif(Abc_Ntk_t *pNtk, char *pFileName, int fWriteLatches, int fBb2Wb, int fSeq)
Definition: ioWriteBlif.c:84
Io_Read
Abc_Ntk_t * Io_Read(char *pFileName, Io_FileType_t FileType, int fCheck, int fBarBufs)
Definition: ioUtil.c:238
Io_WriteSmv
int Io_WriteSmv(Abc_Ntk_t *pNtk, char *FileName)
Definition: ioWriteSmv.c:71
Abc_Obj_t_
Definition: abc.h:128
Io_Write
void Io_Write(Abc_Ntk_t *pNtk, char *pFileName, Io_FileType_t FileType)
Definition: ioUtil.c:317
Io_ReadFileType
Io_FileType_t Io_ReadFileType(char *pFileName)
DECLARATIONS ///.
Definition: ioUtil.c:46
Io_ReadCreatePi
Abc_Obj_t * Io_ReadCreatePi(Abc_Ntk_t *pNtk, char *pName)
Definition: ioUtil.c:610
Io_WriteAigerCex
void Io_WriteAigerCex(Abc_Cex_t *pCex, Abc_Ntk_t *pNtk, void *pG, char *pFileName)
Definition: ioWriteAiger.c:880
Io_WriteList
void Io_WriteList(Abc_Ntk_t *pNtk, char *pFileName, int fUseHost)
FUNCTION DEFINITIONS ///.
Definition: ioWriteList.c:102
Io_WriteBook
void Io_WriteBook(Abc_Ntk_t *pNtk, char *FileName)
Definition: ioWriteBook.c:100
Io_WriteGml
void Io_WriteGml(Abc_Ntk_t *pNtk, char *pFileName)
DECLARATIONS ///.
Definition: ioWriteGml.c:46
Io_ReadBench
Abc_Ntk_t * Io_ReadBench(char *pFileName, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadBench.c:47
Io_WritePla
int Io_WritePla(Abc_Ntk_t *pNtk, char *FileName)
FUNCTION DEFINITIONS ///.
Definition: ioWritePla.c:47
Io_WriteBlifSpecial
void Io_WriteBlifSpecial(Abc_Ntk_t *pNtk, char *FileName, char *pLutStruct, int fUseHie)
Definition: ioWriteBlif.c:1378
Io_WriteBenchLut
int Io_WriteBenchLut(Abc_Ntk_t *pNtk, char *FileName)
Definition: ioWriteBench.c:175
Io_ReadEqn
Abc_Ntk_t * Io_ReadEqn(char *pFileName, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadEqn.c:50
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Io_ReadVerilog
Abc_Ntk_t * Io_ReadVerilog(char *pFileName, int fCheck)
DECLARATIONS ///.
Definition: ioReadVerilog.c:48
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Io_ReadCreateLatch
Abc_Obj_t * Io_ReadCreateLatch(Abc_Ntk_t *pNtk, char *pNetLI, char *pNetLO)
Definition: ioUtil.c:660
Io_ReadLibType
Io_FileType_t Io_ReadLibType(char *pFileName)
Io_ReadPla
Abc_Ntk_t * Io_ReadPla(char *pFileName, int fZeros, int fCheck)
FUNCTION DEFINITIONS ///.
Definition: ioReadPla.c:47
Io_WriteBaf
void Io_WriteBaf(Abc_Ntk_t *pNtk, char *pFileName)
DECLARATIONS ///.
Definition: ioWriteBaf.c:84
Io_WriteBlifMv
void Io_WriteBlifMv(Abc_Ntk_t *pNtk, char *FileName)
FUNCTION DEFINITIONS ///.
Definition: ioWriteBlifMv.c:58
Io_WriteBblif
void Io_WriteBblif(Abc_Ntk_t *pNtk, char *pFileName)
Definition: ioWriteBblif.c:99
Io_WriteBlifLogic
void Io_WriteBlifLogic(Abc_Ntk_t *pNtk, char *pFileName, int fWriteLatches)
FUNCTION DEFINITIONS ///.
Definition: ioWriteBlif.c:59
Io_ReadCreateNode
Abc_Obj_t * Io_ReadCreateNode(Abc_Ntk_t *pNtk, char *pNameOut, char *pNamesIn[], int nInputs)
Definition: ioUtil.c:725
Abc_Cex_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Cex_t_ Abc_Cex_t
INCLUDES ///.
Definition: utilCex.h:39
Io_ReadBenchInit
void Io_ReadBenchInit(Abc_Ntk_t *pNtk, char *pFileName)
Definition: ioReadBench.c:311
Io_WriteCnf
int Io_WriteCnf(Abc_Ntk_t *pNtk, char *FileName, int fAllPrimes)
FUNCTION DEFINITIONS ///.
Definition: ioWriteCnf.c:48
Io_WriteBench
int Io_WriteBench(Abc_Ntk_t *pNtk, const char *FileName)
FUNCTION DEFINITIONS ///.
Definition: ioWriteBench.c:53
Io_ReadCreatePo
Abc_Obj_t * Io_ReadCreatePo(Abc_Ntk_t *pNtk, char *pName)
Definition: ioUtil.c:635
Io_ReadCreateBuf
Abc_Obj_t * Io_ReadCreateBuf(Abc_Ntk_t *pNtk, char *pNameIn, char *pNameOut)
Definition: ioUtil.c:795
Io_ReadBaf
Abc_Ntk_t * Io_ReadBaf(char *pFileName, int fCheck)
DECLARATIONS ///.
Definition: ioReadBaf.c:45
Io_WriteDotNtk
void Io_WriteDotNtk(Abc_Ntk_t *pNtk, Vec_Ptr_t *vNodes, Vec_Ptr_t *vNodesShow, char *pFileName, int fGateNames, int fUseReverse)
Definition: ioWriteDot.c:71
Io_WriteAiger
void Io_WriteAiger(Abc_Ntk_t *pNtk, char *pFileName, int fWriteSymbols, int fCompact, int fUnique)
Definition: ioWriteAiger.c:635
Io_WriteTimingInfo
void Io_WriteTimingInfo(FILE *pFile, Abc_Ntk_t *pNtk)
Definition: ioWriteBlif.c:665
Io_WriteDot
void Io_WriteDot(Abc_Ntk_t *pNtk, char *FileName)
FUNCTION DEFINITIONS ///.
Definition: ioWriteDot.c:51