Home
last modified time | relevance | path

Searched refs:pManName (Results 1 – 25 of 37) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcReadVer.c654 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 DwlcReadSmt.c291 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 DwlcNtk.c228 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 DwlcStdin.c116 NameId = Abc_NamStrFind( p->pManName, pName ); in Wlc_NtkReport()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnNtk.c77 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 DwlnWlc.c69 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 DwlnObj.c49 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 DwlnNdr.c256 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 DabcNames.c51 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 DabcObj.c177 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 DabcCheck.c255 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 DabcHie.c112 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 DabcBarBuf.c322 …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 DabcLatch.c346 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 Dkliveness.c131 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 Dliveness_sim.c737 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 DabcDress.c172 pName = Nm_ManFindNameById( pNtk->pManName, pNode->Id ); in Abc_NtkDressTransferNames()
184 pName = Nm_ManFindNameById( pNet->pNtk->pManName, pNet->Id ); in Abc_NtkDressTransferNames()
H A DabcDress3.c140 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 DabcDress2.c445 pName = Nm_ManFindNameById( pNtk0->pManName, pObj0->Id ); in Abc_NtkDress2Transfer()
449 pName = Nm_ManFindNameById( pNtk1->pManName, pObj1->Id ); in Abc_NtkDress2Transfer()
H A DabcStrash.c218 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 DfretMain.c574 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 DioWriteEqn.c225 pName = Nm_ManFindNameById(pNtk->pManName, i); in Io_NtkWriteEqnCheck()
H A DioWriteSmv.c253 for ( pName = Nm_ManFindNameById(pNtk->pManName, i); pName && *pName; pName++ ) in Io_WriteSmvCheckNames()
H A DioWriteVerilog.c121 … 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 DioWriteBench.c328 for ( pName = Nm_ManFindNameById(pNtk->pManName, i); pName && *pName; pName++ ) in Io_WriteBenchCheckNames()

12