Home
last modified time | relevance | path

Searched refs:pManRes (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/
H A DcswCore.c56 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 DcswMan.c60 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 DcswTable.c141 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 DcswCut.c50 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 DcswInt.h74 Aig_Man_t * pManRes; // the output AIG manager member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcResub.c141 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 DabcDar.c3224 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()