Searched refs:pManRes (Results 1 – 7 of 7) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswCore.c | 56 Aig_ManForEachCi( p->pManRes, pObj, i ) in Csw_Sweep() 65 pObjNew = Aig_And( p->pManRes, Csw_ObjChild0Equiv(p, pObj), Csw_ObjChild1Equiv(p, pObj) ); in Csw_Sweep() 82 Aig_ObjCreateCo( p->pManRes, Csw_ObjChild0Equiv(p, pObj) ); in Csw_Sweep() 84 Aig_ManCleanup( p->pManRes ); in Csw_Sweep() 88 pRes = p->pManRes; in Csw_Sweep()
|
H A D | cswMan.c | 60 p->pManRes = Aig_ManStartFrom( pMan ); in Csw_ManStart() 61 assert( Aig_ManCiNum(p->pManAig) == Aig_ManCiNum(p->pManRes) ); in Csw_ManStart() 77 Csw_ObjSetEquiv( p, Aig_ManConst1(p->pManAig), Aig_ManConst1(p->pManRes) ); in Csw_ManStart() 79 Csw_ObjSetEquiv( p, pObj, Aig_ManCi(p->pManRes, i) ); in Csw_ManStart() 104 int nNodesEnd = Aig_ManNodeNum(p->pManRes); in Csw_ManStop()
|
H A D | cswTable.c | 141 pRes = Aig_ManObj( p->pManRes, pEnt->iNode ); in Csw_TableCutLookup() 142 assert( pRes->fPhase == Aig_ManObj( p->pManRes, pCut->iNode )->fPhase ); in Csw_TableCutLookup() 150 pRes = Aig_Not( Aig_ManObj( p->pManRes, pEnt->iNode ) ); in Csw_TableCutLookup() 151 … assert( Aig_Regular(pRes)->fPhase != Aig_ManObj( p->pManRes, pCut->iNode )->fPhase ); in Csw_TableCutLookup()
|
H A D | cswCut.c | 50 Csw_CutForEachLeaf( p->pManRes, pCut, pLeaf, i ) in Csw_CutFindCost() 77 Csw_CutForEachLeaf( p->pManRes, pCut, pLeaf, i ) in Csw_CutFindCost2() 418 pIn0 = Aig_ManObj( p->pManRes, pCut->pFanins[0] ); in Csw_ObjTwoVarCut() 419 pIn1 = Aig_ManObj( p->pManRes, pCut->pFanins[1] ); in Csw_ObjTwoVarCut() 430 pRes = Aig_And( p->pManRes, Aig_Not(pIn0), Aig_Not(pIn1) ); in Csw_ObjTwoVarCut() 432 pRes = Aig_And( p->pManRes, pIn0 , Aig_Not(pIn1) ); in Csw_ObjTwoVarCut() 434 pRes = Aig_And( p->pManRes, Aig_Not(pIn0), pIn1 ); in Csw_ObjTwoVarCut() 436 pRes = Aig_And( p->pManRes, pIn0 , pIn1 ); in Csw_ObjTwoVarCut() 551 return Aig_NotCond( Aig_ManConst1(p->pManRes), !(pTruth[0] & 1) ); in Csw_ObjSweep() 558 return Aig_NotCond( Aig_ManObj(p->pManRes, pCut->pFanins[iVar]), (pTruth[0] & 1) ); in Csw_ObjSweep()
|
H A D | cswInt.h | 74 Aig_Man_t * pManRes; // the output AIG manager member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcResub.c | 141 Abc_ManRes_t * pManRes; in Abc_NtkResubstitute() local 170 pManRes->nNodesBeg = Abc_NtkNodeNum(pNtk); in Abc_NtkResubstitute() 193 pManRes->timeCut += Abc_Clock() - clk; in Abc_NtkResubstitute() 206 pManRes->timeTruth += Abc_Clock() - clk; in Abc_NtkResubstitute() 214 pManRes->timeRes += Abc_Clock() - clk; in Abc_NtkResubstitute() 217 pManRes->nTotalGain += pManRes->nLastGain; in Abc_NtkResubstitute() 230 pManRes->timeNtk += Abc_Clock() - clk; in Abc_NtkResubstitute() 234 pManRes->timeTotal = Abc_Clock() - clkStart; in Abc_NtkResubstitute() 235 pManRes->nNodesEnd = Abc_NtkNodeNum(pNtk); in Abc_NtkResubstitute() 239 Abc_ManResubPrint( pManRes ); in Abc_NtkResubstitute() [all …]
|
H A D | abcDar.c | 3224 Aig_Man_t * pMan1, * pMan2 = NULL, * pManRes; in Abc_NtkDarMatch() local 3248 vPairs = Saig_StrSimPerformMatching( pMan1, pMan2, nDist, 1, &pManRes ); in Abc_NtkDarMatch() 3249 pNtkAig = Abc_NtkFromAigPhase( pManRes ); in Abc_NtkDarMatch() 3252 if ( pManRes ) in Abc_NtkDarMatch() 3253 Aig_ManStop( pManRes ); in Abc_NtkDarMatch()
|