1 /**CFile****************************************************************
2
3 FileName [bacBac.c]
4
5 SystemName [ABC: Logic synthesis and verification system.]
6
7 PackageName [Hierarchical word-level netlist.]
8
9 Synopsis [Verilog parser.]
10
11 Author [Alan Mishchenko]
12
13 Affiliation [UC Berkeley]
14
15 Date [Ver. 1.0. Started - November 29, 2014.]
16
17 Revision [$Id: bacBac.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
18
19 ***********************************************************************/
20
21 #include "bac.h"
22
23 ABC_NAMESPACE_IMPL_START
24
25 ////////////////////////////////////////////////////////////////////////
26 /// DECLARATIONS ///
27 ////////////////////////////////////////////////////////////////////////
28
29 ////////////////////////////////////////////////////////////////////////
30 /// FUNCTION DEFINITIONS ///
31 ////////////////////////////////////////////////////////////////////////
32
33
34 /**Function*************************************************************
35
36 Synopsis [Read CBA.]
37
38 Description []
39
40 SideEffects []
41
42 SeeAlso []
43
44 ***********************************************************************/
BacManReadBacLine(Vec_Str_t * vOut,int * pPos,char * pBuffer,char * pLimit)45 int BacManReadBacLine( Vec_Str_t * vOut, int * pPos, char * pBuffer, char * pLimit )
46 {
47 char c;
48 while ( (c = Vec_StrEntry(vOut, (*pPos)++)) != '\n' && pBuffer < pLimit )
49 *pBuffer++ = c;
50 *pBuffer = 0;
51 return pBuffer < pLimit;
52 }
BacManReadBacNameAndNums(char * pBuffer,int * Num1,int * Num2,int * Num3,int * Num4)53 int BacManReadBacNameAndNums( char * pBuffer, int * Num1, int * Num2, int * Num3, int * Num4 )
54 {
55 *Num1 = *Num2 = *Num3 = *Num4 = -1;
56 // read name
57 while ( *pBuffer && *pBuffer != ' ' )
58 pBuffer++;
59 if ( !*pBuffer )
60 return 0;
61 assert( *pBuffer == ' ' );
62 *pBuffer = 0;
63 // read Num1
64 *Num1 = atoi(++pBuffer);
65 while ( *pBuffer && *pBuffer != ' ' )
66 pBuffer++;
67 if ( !*pBuffer )
68 return 0;
69 // read Num2
70 assert( *pBuffer == ' ' );
71 *Num2 = atoi(++pBuffer);
72 while ( *pBuffer && *pBuffer != ' ' )
73 pBuffer++;
74 if ( !*pBuffer )
75 return 1;
76 // read Num3
77 assert( *pBuffer == ' ' );
78 *Num3 = atoi(++pBuffer);
79 while ( *pBuffer && *pBuffer != ' ' )
80 pBuffer++;
81 if ( !*pBuffer )
82 return 1;
83 // read Num4
84 assert( *pBuffer == ' ' );
85 *Num4 = atoi(++pBuffer);
86 return 1;
87 }
Bac_ManReadBacVecStr(Vec_Str_t * vOut,int * pPos,Vec_Str_t * p,int nSize)88 void Bac_ManReadBacVecStr( Vec_Str_t * vOut, int * pPos, Vec_Str_t * p, int nSize )
89 {
90 memcpy( Vec_StrArray(p), Vec_StrArray(vOut) + *pPos, (size_t)nSize );
91 *pPos += nSize;
92 p->nSize = nSize;
93 assert( Vec_StrSize(p) == Vec_StrCap(p) );
94 }
Bac_ManReadBacVecInt(Vec_Str_t * vOut,int * pPos,Vec_Int_t * p,int nSize)95 void Bac_ManReadBacVecInt( Vec_Str_t * vOut, int * pPos, Vec_Int_t * p, int nSize )
96 {
97 memcpy( Vec_IntArray(p), Vec_StrArray(vOut) + *pPos, (size_t)nSize );
98 *pPos += nSize;
99 p->nSize = nSize / 4;
100 assert( Vec_IntSize(p) == Vec_IntCap(p) );
101 }
Bac_ManReadBacNtk(Vec_Str_t * vOut,int * pPos,Bac_Ntk_t * pNtk)102 void Bac_ManReadBacNtk( Vec_Str_t * vOut, int * pPos, Bac_Ntk_t * pNtk )
103 {
104 int i, Type;
105 //char * pName; int iObj, NameId;
106 Bac_ManReadBacVecStr( vOut, pPos, &pNtk->vType, Bac_NtkObjNumAlloc(pNtk) );
107 Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vFanin, 4 * Bac_NtkObjNumAlloc(pNtk) );
108 Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vInfo, 12 * Bac_NtkInfoNumAlloc(pNtk) );
109 Bac_NtkForEachObjType( pNtk, Type, i )
110 {
111 if ( Type == BAC_OBJ_PI )
112 Vec_IntPush( &pNtk->vInputs, i );
113 if ( Type == BAC_OBJ_PO )
114 Vec_IntPush( &pNtk->vOutputs, i );
115 }
116 assert( Bac_NtkPiNum(pNtk) == Bac_NtkPiNumAlloc(pNtk) );
117 assert( Bac_NtkPoNum(pNtk) == Bac_NtkPoNumAlloc(pNtk) );
118 assert( Bac_NtkObjNum(pNtk) == Bac_NtkObjNumAlloc(pNtk) );
119 assert( Bac_NtkInfoNum(pNtk) == Bac_NtkInfoNumAlloc(pNtk) );
120 /*
121 // read input/output/box names
122 Bac_NtkForEachPiMain( pNtk, iObj, i )
123 {
124 pName = Vec_StrEntryP( vOut, Pos );
125 NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
126 Pos += strlen(pName) + 1;
127 }
128 Bac_NtkForEachPoMain( pNtk, iObj, i )
129 {
130 pName = Vec_StrEntryP( vOut, Pos );
131 NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
132 Pos += strlen(pName) + 1;
133 }
134 Bac_NtkForEachBox( pNtk, iObj )
135 {
136 pName = Vec_StrEntryP( vOut, Pos );
137 NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
138 Pos += strlen(pName) + 1;
139 }
140 */
141 }
Bac_ManReadBacInt(Vec_Str_t * vOut)142 Bac_Man_t * Bac_ManReadBacInt( Vec_Str_t * vOut )
143 {
144 Bac_Man_t * p;
145 Bac_Ntk_t * pNtk;
146 char Buffer[1000] = "#";
147 int i, NameId, Pos = 0, nNtks, Num1, Num2, Num3, Num4;
148 while ( Buffer[0] == '#' )
149 if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) )
150 return NULL;
151 if ( !BacManReadBacNameAndNums(Buffer, &nNtks, &Num2, &Num3, &Num4) )
152 return NULL;
153 // start manager
154 assert( nNtks > 0 );
155 p = Bac_ManAlloc( Buffer, nNtks );
156 // start networks
157 Bac_ManForEachNtk( p, pNtk, i )
158 {
159 if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) )
160 {
161 Bac_ManFree( p );
162 return NULL;
163 }
164 if ( !BacManReadBacNameAndNums(Buffer, &Num1, &Num2, &Num3, &Num4) )
165 {
166 Bac_ManFree( p );
167 return NULL;
168 }
169 assert( Num1 >= 0 && Num2 >= 0 && Num3 >= 0 );
170 NameId = Abc_NamStrFindOrAdd( p->pStrs, Buffer, NULL );
171 Bac_NtkAlloc( pNtk, NameId, Num1, Num2, Num3 );
172 Vec_IntFill( &pNtk->vInfo, 3 * Num4, -1 );
173 }
174 // read networks
175 Bac_ManForEachNtk( p, pNtk, i )
176 Bac_ManReadBacNtk( vOut, &Pos, pNtk );
177 assert( Bac_ManNtkNum(p) == nNtks );
178 assert( Pos == Vec_StrSize(vOut) );
179 return p;
180 }
Bac_ManReadBac(char * pFileName)181 Bac_Man_t * Bac_ManReadBac( char * pFileName )
182 {
183 Bac_Man_t * p;
184 FILE * pFile;
185 Vec_Str_t * vOut;
186 int nFileSize;
187 pFile = fopen( pFileName, "rb" );
188 if ( pFile == NULL )
189 {
190 printf( "Cannot open file \"%s\" for reading.\n", pFileName );
191 return NULL;
192 }
193 // get the file size, in bytes
194 fseek( pFile, 0, SEEK_END );
195 nFileSize = ftell( pFile );
196 rewind( pFile );
197 // load the contents
198 vOut = Vec_StrAlloc( nFileSize );
199 vOut->nSize = vOut->nCap;
200 assert( nFileSize == Vec_StrSize(vOut) );
201 nFileSize = fread( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile );
202 assert( nFileSize == Vec_StrSize(vOut) );
203 fclose( pFile );
204 // read the networks
205 p = Bac_ManReadBacInt( vOut );
206 if ( p != NULL )
207 {
208 ABC_FREE( p->pSpec );
209 p->pSpec = Abc_UtilStrsav( pFileName );
210 }
211 Vec_StrFree( vOut );
212 return p;
213 }
214
215 /**Function*************************************************************
216
217 Synopsis [Write CBA.]
218
219 Description []
220
221 SideEffects []
222
223 SeeAlso []
224
225 ***********************************************************************/
Bac_ManWriteBacNtk(Vec_Str_t * vOut,Bac_Ntk_t * pNtk)226 void Bac_ManWriteBacNtk( Vec_Str_t * vOut, Bac_Ntk_t * pNtk )
227 {
228 //char * pName; int iObj, NameId;
229 Vec_StrPushBuffer( vOut, (char *)Vec_StrArray(&pNtk->vType), Bac_NtkObjNum(pNtk) );
230 Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vFanin), 4 * Bac_NtkObjNum(pNtk) );
231 Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vInfo), 12 * Bac_NtkInfoNum(pNtk) );
232 /*
233 // write input/output/box names
234 Bac_NtkForEachPiMain( pNtk, iObj, i )
235 {
236 pName = Bac_ObjNameStr( pNtk, iObj );
237 Vec_StrPrintStr( vOut, pName );
238 Vec_StrPush( vOut, '\0' );
239 }
240 Bac_NtkForEachPoMain( pNtk, iObj, i )
241 {
242 pName = Bac_ObjNameStr( pNtk, iObj );
243 Vec_StrPrintStr( vOut, pName );
244 Vec_StrPush( vOut, '\0' );
245 }
246 Bac_NtkForEachBox( pNtk, iObj )
247 {
248 pName = Bac_ObjNameStr( pNtk, iObj );
249 Vec_StrPrintStr( vOut, pName );
250 Vec_StrPush( vOut, '\0' );
251 }
252 */
253 }
Bac_ManWriteBacInt(Vec_Str_t * vOut,Bac_Man_t * p)254 void Bac_ManWriteBacInt( Vec_Str_t * vOut, Bac_Man_t * p )
255 {
256 char Buffer[1000];
257 Bac_Ntk_t * pNtk; int i;
258 sprintf( Buffer, "# Design \"%s\" written by ABC on %s\n", Bac_ManName(p), Extra_TimeStamp() );
259 Vec_StrPrintStr( vOut, Buffer );
260 // write short info
261 sprintf( Buffer, "%s %d \n", Bac_ManName(p), Bac_ManNtkNum(p) );
262 Vec_StrPrintStr( vOut, Buffer );
263 Bac_ManForEachNtk( p, pNtk, i )
264 {
265 sprintf( Buffer, "%s %d %d %d %d \n", Bac_NtkName(pNtk),
266 Bac_NtkPiNum(pNtk), Bac_NtkPoNum(pNtk), Bac_NtkObjNum(pNtk), Bac_NtkInfoNum(pNtk) );
267 Vec_StrPrintStr( vOut, Buffer );
268 }
269 Bac_ManForEachNtk( p, pNtk, i )
270 Bac_ManWriteBacNtk( vOut, pNtk );
271 }
Bac_ManWriteBac(char * pFileName,Bac_Man_t * p)272 void Bac_ManWriteBac( char * pFileName, Bac_Man_t * p )
273 {
274 Vec_Str_t * vOut;
275 assert( p->pMioLib == NULL );
276 vOut = Vec_StrAlloc( 10000 );
277 Bac_ManWriteBacInt( vOut, p );
278 if ( Vec_StrSize(vOut) > 0 )
279 {
280 FILE * pFile = fopen( pFileName, "wb" );
281 if ( pFile == NULL )
282 printf( "Cannot open file \"%s\" for writing.\n", pFileName );
283 else
284 {
285 fwrite( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile );
286 fclose( pFile );
287 }
288 }
289 Vec_StrFree( vOut );
290 }
291
292 ////////////////////////////////////////////////////////////////////////
293 /// END OF FILE ///
294 ////////////////////////////////////////////////////////////////////////
295
296
297 ABC_NAMESPACE_IMPL_END
298
299