| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaReadAig.c | 114 unsigned uLit0, uLit1, uLit; in Ioa_ReadAigerFromMemory() local
252 uLit0 = uLit1 - Ioa_ReadAigerDecode( &pCur ); in Ioa_ReadAigerFromMemory()
254 pNode0 = Aig_NotCond( (Aig_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), uLit0 & 1 ); in Ioa_ReadAigerFromMemory()
271 uLit0 = atoi( pCur ); while ( *pCur++ != '\n' ); in Ioa_ReadAigerFromMemory()
272 …pNode0 = Aig_NotCond( (Aig_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 < 2)… in Ioa_ReadAigerFromMemory()
278 uLit0 = atoi( pCur ); while ( *pCur++ != '\n' ); in Ioa_ReadAigerFromMemory()
279 …pNode0 = Aig_NotCond( (Aig_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 < 2)… in Ioa_ReadAigerFromMemory()
289 uLit0 = Vec_IntEntry( vLits, i ); in Ioa_ReadAigerFromMemory()
290 …pNode0 = Aig_NotCond( (Aig_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 < 2)… in Ioa_ReadAigerFromMemory()
296 uLit0 = Vec_IntEntry( vLits, i+nLatches ); in Ioa_ReadAigerFromMemory()
[all …]
|
| H A D | ioaWriteAig.c | 290 int nNodes, i, uLit, uLit0, uLit1; in Ioa_WriteAigerIntoMemoryStr() local
347 assert( uLit0 != uLit1 ); in Ioa_WriteAigerIntoMemoryStr()
348 if ( uLit0 > uLit1 ) in Ioa_WriteAigerIntoMemoryStr()
350 int Temp = uLit0; in Ioa_WriteAigerIntoMemoryStr()
351 uLit0 = uLit1; in Ioa_WriteAigerIntoMemoryStr()
357 Ioa_WriteAigerEncodeStr( vBuffer, uLit1 - uLit0 ); in Ioa_WriteAigerIntoMemoryStr()
453 unsigned uLit0, uLit1, uLit; in Ioa_WriteAiger() local
540 assert( uLit0 != uLit1 ); in Ioa_WriteAiger()
541 if ( uLit0 > uLit1 ) in Ioa_WriteAiger()
543 int Temp = uLit0; in Ioa_WriteAiger()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioReadAiger.c | 246 unsigned uLit0, uLit1, uLit; in Io_ReadAiger() local
405 uLit0 = uLit1 - Io_ReadAigerDecode( &pCur ); in Io_ReadAiger()
407 pNode0 = Abc_ObjNotCond( (Abc_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), uLit0 & 1 ); in Io_ReadAiger()
423 uLit0 = atoi( pCur ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++; in Io_ReadAiger()
448 …pNode0 = Abc_ObjNotCond( (Abc_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 <… in Io_ReadAiger()
454 uLit0 = atoi( pCur ); while ( *pCur++ != '\n' ); in Io_ReadAiger()
455 …pNode0 = Abc_ObjNotCond( (Abc_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 <… in Io_ReadAiger()
464 uLit0 = Vec_IntEntry( vLits, i ); in Io_ReadAiger()
465 pNode0 = Abc_ObjNotCond( (Abc_Obj_t *)Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) ); in Io_ReadAiger()
471 uLit0 = Vec_IntEntry( vLits, i+Abc_NtkLatchNum(pNtkNew) ); in Io_ReadAiger()
[all …]
|
| H A D | ioWriteAiger.c | 276 unsigned uLit0, uLit1, uLit; in Io_WriteAiger_old() local
374 if ( uLit0 > uLit1 ) in Io_WriteAiger_old()
376 unsigned Temp = uLit0; in Io_WriteAiger_old()
377 uLit0 = uLit1; in Io_WriteAiger_old()
443 unsigned uLit0, uLit1, uLit; in Io_WriteAigerGz() local
517 if ( uLit0 > uLit1 ) in Io_WriteAigerGz()
519 unsigned Temp = uLit0; in Io_WriteAigerGz()
520 uLit0 = uLit1; in Io_WriteAigerGz()
642 unsigned uLit0, uLit1, uLit; in Io_WriteAiger() local
783 if ( uLit0 > uLit1 ) in Io_WriteAiger()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaAiger.c | 185 unsigned uLit0, uLit1, uLit; in Gia_AigerReadFromMemory() local
294 iNode0 = Abc_LitNotCond( Vec_IntEntry(vNodes, uLit0 >> 1), uLit0 & 1 ); in Gia_AigerReadFromMemory()
335 iNode0 = Abc_LitNotCond( Vec_IntEntry(vNodes, uLit0 >> 1), (uLit0 & 1) ); in Gia_AigerReadFromMemory()
342 iNode0 = Abc_LitNotCond( Vec_IntEntry(vNodes, uLit0 >> 1), (uLit0 & 1) ); in Gia_AigerReadFromMemory()
353 iNode0 = Abc_LitNotCond( Vec_IntEntry(vNodes, uLit0 >> 1), (uLit0 & 1) ); in Gia_AigerReadFromMemory()
360 iNode0 = Abc_LitNotCond( Vec_IntEntry(vNodes, uLit0 >> 1), (uLit0 & 1) ); in Gia_AigerReadFromMemory()
976 if ( uLit0 > uLit1 ) in Gia_AigerWriteIntoMemoryStr()
978 int Temp = uLit0; in Gia_AigerWriteIntoMemoryStr()
979 uLit0 = uLit1; in Gia_AigerWriteIntoMemoryStr()
1062 if ( uLit0 > uLit1 ) in Gia_AigerWriteIntoMemoryStrPart()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilBridge.c | 73 int i, uLit0, uLit1, nNodes; in Gia_ManToBridgeVec() local
94 uLit0 = Gia_ObjFanin0Copy( pObj ); in Gia_ManToBridgeVec()
96 assert( uLit0 != uLit1 ); in Gia_ManToBridgeVec()
97 Gia_AigerWriteUnsigned( vStr, uLit0 << 1 ); in Gia_ManToBridgeVec()
104 uLit0 = Gia_ObjFanin0Copy( pObj ); in Gia_ManToBridgeVec()
105 Gia_AigerWriteUnsigned( vStr, (uLit0 << 2) | BRIDGE_VALUE_0 ); in Gia_ManToBridgeVec()
112 uLit0 = Gia_ObjFanin0Copy( pObj ); in Gia_ManToBridgeVec()
114 Gia_AigerWriteUnsigned( vStr, Abc_LitNot(uLit0) ); in Gia_ManToBridgeVec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcOdc.c | 652 Odc_Lit_t uLit0, uLit1, uRes0, uRes1; in Abc_NtkDontCareTransfer_rec() local
666 uLit0 = Odc_NotCond( (Odc_Lit_t)(uData0 & 0xffff), Abc_ObjFaninC0(pNode) ); in Abc_NtkDontCareTransfer_rec()
668 uRes0 = Odc_And( p, uLit0, uLit1 ); in Abc_NtkDontCareTransfer_rec()
670 uLit0 = Odc_NotCond( (Odc_Lit_t)(uData0 >> 16), Abc_ObjFaninC0(pNode) ); in Abc_NtkDontCareTransfer_rec()
672 uRes1 = Odc_And( p, uLit0, uLit1 ); in Abc_NtkDontCareTransfer_rec()
742 Odc_Lit_t uLit0, uLit1, uRes0, uRes1; in Abc_NtkDontCareCofactors_rec() local
759 uLit0 = Odc_NotCond( (Odc_Lit_t)(uData0 & 0xffff), Odc_ObjFaninC0(pObj) ); in Abc_NtkDontCareCofactors_rec()
761 uRes0 = Odc_And( p, uLit0, uLit1 ); in Abc_NtkDontCareCofactors_rec()
763 uLit0 = Odc_NotCond( (Odc_Lit_t)(uData0 >> 16), Odc_ObjFaninC0(pObj) ); in Abc_NtkDontCareCofactors_rec()
765 uRes1 = Odc_And( p, uLit0, uLit1 ); in Abc_NtkDontCareCofactors_rec()
|