/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcReadVer.c | 654 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, Buffer, &fFound ); in Wlc_PrsReadName() 665 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsReadName() 928 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsReadDeclaration() 1027 p->pNtk->pManName = Abc_NamStart( Vec_IntSize(p->vStarts), 20 ); in Wlc_PrsDerive() 1109 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() 1136 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() 1151 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() 1176 NameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() 1505 *pNameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() 1549 *pNameId = Abc_NamStrFindOrAdd( p->pNtk->pManName, pName, &fFound ); in Wlc_PrsDerive() [all …]
|
H A D | wlcReadSmt.c | 291 NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound ); in Smt_PrsCreateNodeOld() 361 NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pNameFanin, &fFound ); in Smt_PrsCreateNode() 465 NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound ); in Smt_PrsCreateNode() 819 pNtk->pManName = Abc_NamStart( 1000, 24 ); in Smt_PrsBuild() 857 NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, NULL ); in Smt_PrsBuild() 1056 fFound = Abc_NamStrFind( pNtk->pManName, pStr_glb ); in Smt_PrsBuild2_rec() 1062 assert( Abc_NamStrFind( pNtk->pManName, pStr_loc )); in Smt_PrsBuild2_rec() 1067 iObj = Abc_NamStrFindOrAdd( pNtk->pManName, pStr, &fFound ); in Smt_PrsBuild2_rec() 1197 int iObj = Abc_NamStrFind( pNtk->pManName, pStr0 ); in Smt_PrsBuild2_rec() 1266 pNtk->pManName = Abc_NamStart( 1000, 24 ); in Smt_PrsBuild2() [all …]
|
H A D | wlcNtk.c | 228 return Abc_NamStr( p->pManName, Wlc_ObjNameId(p, iObj) ); in Wlc_ObjName() 254 if ( p->pManName ) in Wlc_NtkFree() 255 Abc_NamStop( p->pManName ); in Wlc_NtkFree() 294 Mem += Abc_NamMemUsed(p->pManName); in Wlc_NtkMemUsage() 834 assert( pNew->pManName == NULL && p->pManName != NULL ); in Wlc_NtkTransferNames() 839 pNew->pManName = p->pManName; in Wlc_NtkTransferNames() 840 p->pManName = NULL; in Wlc_NtkTransferNames() 1303 NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound ); in Wlc_NtkShortNames() 1311 NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound ); in Wlc_NtkShortNames() 1318 NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound ); in Wlc_NtkShortNames() [all …]
|
H A D | wlcStdin.c | 116 NameId = Abc_NamStrFind( p->pManName, pName ); in Wlc_NtkReport()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnNtk.c | 77 if ( p->pManName ) Abc_NamStop( p->pManName ); in Wln_NtkFree() 120 Mem += Abc_NamMemUsed(p->pManName); in Wln_NtkMemUsage() 145 assert( pNew->pManName == NULL && p->pManName != NULL ); in Wln_NtkTransferNames() 146 pNew->pManName = p->pManName; in Wln_NtkTransferNames() 147 p->pManName = NULL; in Wln_NtkTransferNames()
|
H A D | wlnWlc.c | 69 return Abc_NamStrFindOrAdd( pNew->pManName, Wlc_ObjName(p, Wlc_ObjId(p, pObj)), NULL ); in Wln_TrasformNameId() 79 pNew->pManName = Abc_NamStart( Abc_NamObjNumMax(p->pManName), 10 ); in Wln_NtkFromWlc() 131 Wln_ObjSetConst( pNew, iOutId, Abc_NamStrFindOrAdd(pNew->pManName, pString, NULL) ); in Wln_NtkFromWlc() 135 Wln_ObjSetNameId( pNew, iOutId, Abc_NamStrFindOrAdd(pNew->pManName, Buffer, NULL) ); in Wln_NtkFromWlc() 165 Wln_ObjSetConst( pNew, iOutId, Abc_NamStrFindOrAdd(pNew->pManName, pString, NULL) ); in Wln_NtkFromWlc()
|
H A D | wlnObj.c | 49 return Abc_NamStr( p->pManName, Wln_ObjNameId(p, iObj) ); in Wln_ObjName() 56 return Abc_NamStr( p->pManName, Wln_ObjFanin0(p, iObj) ); in Wln_ObjConstString()
|
H A D | wlnNdr.c | 256 pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 ); in Wln_NtkFromNdr() 260 NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound ); in Wln_NtkFromNdr() 267 …Wln_ObjSetConst( pNtk, iObj, Abc_NamStrFindOrAdd(pNtk->pManName, (char *)Vec_PtrEntry(vConstString… in Wln_NtkFromNdr()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcNames.c | 51 return Nm_ManCreateUniqueName( pObj->pNtk->pManName, pObj->Id ); in Abc_ObjName() 72 return Nm_ManStoreIdName( pObj->pNtk->pManName, pObj->Id, pObj->Type, pName, pSuffix ); in Abc_ObjAssignName() 147 assert( Nm_ManNumEntries(pNtk->pManName) > 0 ); in Abc_NtkTrasferNames() 148 assert( Nm_ManNumEntries(pNtkNew->pManName) == 0 ); in Abc_NtkTrasferNames() 175 assert( Nm_ManNumEntries(pNtk->pManName) > 0 ); in Abc_NtkTrasferNamesNoLatches() 176 assert( Nm_ManNumEntries(pNtkNew->pManName) == 0 ); in Abc_NtkTrasferNamesNoLatches() 603 Nm_ManFree( pNtk->pManName ); in Abc_NtkShortNames() 604 pNtk->pManName = Nm_ManCreate( Abc_NtkCiNum(pNtk) + Abc_NtkCoNum(pNtk) + Abc_NtkBoxNum(pNtk) ); in Abc_NtkShortNames() 628 …int nCiId = Nm_ManFindIdByNameTwoTypes( pNtk->pManName, Abc_ObjName(pObj), ABC_OBJ_PI, ABC_OBJ_BO … in Abc_NtkRedirectCiCo() 648 Nm_ManFree( pNtk->pManName ); in Abc_NtkMoveNames() [all …]
|
H A D | abcObj.c | 177 if ( Nm_ManFindNameById(pObj->pNtk->pManName, pObj->Id) ) in Abc_NtkDeleteObj() 178 Nm_ManDeleteIdName(pObj->pNtk->pManName, pObj->Id); in Abc_NtkDeleteObj() 253 if ( Nm_ManFindNameById(pObj->pNtk->pManName, pObj->Id) ) in Abc_NtkDeleteObjPo() 254 Nm_ManDeleteIdName(pObj->pNtk->pManName, pObj->Id); in Abc_NtkDeleteObjPo() 468 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_PO ); in Abc_NtkFindNode() 471 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_BI ); in Abc_NtkFindNode() 474 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_NODE ); in Abc_NtkFindNode() 541 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_PI ); in Abc_NtkFindCi() 544 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_BO ); in Abc_NtkFindCi() 565 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_PO ); in Abc_NtkFindCo() [all …]
|
H A D | abcCheck.c | 255 if ( Nm_ManFindNameById(pObj->pNtk->pManName, pObj->Id) == NULL ) in Abc_NtkCheckNames() 264 if ( Nm_ManFindNameById(pObj->pNtk->pManName, pObj->Id) == NULL ) in Abc_NtkCheckNames() 274 vNameIds = Nm_ManReturnNameIds( pNtk->pManName ); in Abc_NtkCheckNames() 281 pName = Nm_ManFindNameById(pObj->pNtk->pManName, NameId); in Abc_NtkCheckNames() 931 … nCiId = Nm_ManFindIdByNameTwoTypes( pNtk->pManName, Abc_ObjName(pObj), ABC_OBJ_PI, ABC_OBJ_BO ); in Abc_NtkCheckUniqueCioNames()
|
H A D | abcHie.c | 112 if ( Nm_ManFindNameById(pNet->pCopy->pNtk->pManName, pNet->pCopy->Id) ) in Abc_NtkFlattenLogicHierarchy2_rec() 113 Nm_ManDeleteIdName(pNet->pCopy->pNtk->pManName, pNet->pCopy->Id); in Abc_NtkFlattenLogicHierarchy2_rec() 337 if ( Nm_ManFindNameById(pNet->pCopy->pNtk->pManName, pNet->pCopy->Id) ) in Abc_NtkFlattenLogicHierarchy_rec() 338 Nm_ManDeleteIdName(pNet->pCopy->pNtk->pManName, pNet->pCopy->Id); in Abc_NtkFlattenLogicHierarchy_rec()
|
H A D | abcBarBuf.c | 322 …Nm_ManStoreIdName( pObj->pCopy->pNtk->pManName, Abc_ObjFanout0(pObj->pCopy)->Id, Abc_ObjFanout0(pO… in Abc_NtkFromBarBufs() 325 …Nm_ManStoreIdName( pObj->pCopy->pNtk->pManName, Abc_ObjFanin0(pObj->pCopy)->Id, Abc_ObjFanin0(pObj… in Abc_NtkFromBarBufs()
|
H A D | abcLatch.c | 346 Nm_ManDeleteIdName( pLatch->pNtk->pManName, Abc_ObjFanout0(pLatch)->Id ); in Abc_NtkConvertDcLatches() 392 Num = Nm_ManFindIdByName( pNtk->pManName, pName, ABC_OBJ_BO ); in Abc_NtkConverLatchNamesIntoNumbers()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
H A D | kliveness.c | 131 pNtk->pManName = Nm_ManCreate( Abc_NtkCiNum( pNtk ) ); 138 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vPiNames, i),… 146 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vLoNames, i),… 155 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vPoNames, i),… 164 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vLiNames, i),… 170 if ( Nm_ManFindNameById(pNtk->pManName, Abc_ObjFanin0(pNode)->Id) == NULL )
|
H A D | liveness_sim.c | 737 pNtk->pManName = Nm_ManCreate( Abc_NtkCiNum( pNtk ) ); in updateNewNetworkNameManager() 743 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vPiNames, i),… in updateNewNetworkNameManager() 749 …Nm_ManStoreIdName( pNtk->pManName, ntkObjId, Aig_ObjType(pObj), (char *)Vec_PtrEntry(vLoNames, i),… in updateNewNetworkNameManager()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDress.c | 172 pName = Nm_ManFindNameById( pNtk->pManName, pNode->Id ); in Abc_NtkDressTransferNames() 184 pName = Nm_ManFindNameById( pNet->pNtk->pManName, pNet->Id ); in Abc_NtkDressTransferNames()
|
H A D | abcDress3.c | 140 int Num = Nm_ManFindIdByName( pNtk1->pManName, Abc_ObjName(pNode), ABC_OBJ_PI ); in Abc_NtkAigToGiaTwo() 142 Num = Nm_ManFindIdByName( pNtk1->pManName, Abc_ObjName(pNode), ABC_OBJ_BO ); in Abc_NtkAigToGiaTwo()
|
H A D | abcDress2.c | 445 pName = Nm_ManFindNameById( pNtk0->pManName, pObj0->Id ); in Abc_NtkDress2Transfer() 449 pName = Nm_ManFindNameById( pNtk1->pManName, pObj1->Id ); in Abc_NtkDress2Transfer()
|
H A D | abcStrash.c | 218 Nm_ManDeleteIdName( pObj->pNtk->pManName, Abc_ObjFanout0(pObj)->Id ); in Abc_NtkRestrashZero() 377 …iNodeId = Nm_ManFindIdByNameTwoTypes( pNtk1->pManName, Abc_ObjName(pObj), ABC_OBJ_PO, ABC_OBJ_BI ); in Abc_NtkAppend()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/ |
H A D | fretMain.c | 574 if (Nm_ManFindNameById(pNtk->pManName, Abc_ObjId(pBi))) in Abc_FlowRetime_FixLatchBoxes() 575 Nm_ManDeleteIdName( pNtk->pManName, Abc_ObjId(pBi)); in Abc_FlowRetime_FixLatchBoxes() 576 if (Nm_ManFindNameById(pNtk->pManName, Abc_ObjId(pBo))) in Abc_FlowRetime_FixLatchBoxes() 577 Nm_ManDeleteIdName( pNtk->pManName, Abc_ObjId(pBo)); in Abc_FlowRetime_FixLatchBoxes() 839 if (Nm_ManFindNameById(pNtk->pManName, Abc_ObjId(pObj))) in Abc_FlowRetime_ImplementCut() 840 Nm_ManDeleteIdName( pNtk->pManName, Abc_ObjId(pObj)); in Abc_FlowRetime_ImplementCut()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioWriteEqn.c | 225 pName = Nm_ManFindNameById(pNtk->pManName, i); in Io_NtkWriteEqnCheck()
|
H A D | ioWriteSmv.c | 253 for ( pName = Nm_ManFindNameById(pNtk->pManName, i); pName && *pName; pName++ ) in Io_WriteSmvCheckNames()
|
H A D | ioWriteVerilog.c | 121 … if ( Abc_NtkLatchNum(pNtk) > 0 && Nm_ManFindIdByName(pNtk->pManName, "clock", ABC_OBJ_PI) == -1 ) in Io_WriteVerilogInt() 134 … if ( Abc_NtkLatchNum(pNtk) > 0 && Nm_ManFindIdByName(pNtk->pManName, "clock", ABC_OBJ_PI) == -1 ) in Io_WriteVerilogInt()
|
H A D | ioWriteBench.c | 328 for ( pName = Nm_ManFindNameById(pNtk->pManName, i); pName && *pName; pName++ ) in Io_WriteBenchCheckNames()
|