| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigScl.c | 147 int i, nTruePis, nTruePos; in Aig_ManSeqCleanup() local
177 int nTruePos = Aig_ManPoNum(p)-Aig_ManRegNum(p); in Aig_ManSeqCleanup() local
180 pObj->pNext = (Aig_Obj_t *)(long)Vec_IntEntry( p->vFlopNums, i - nTruePos ); in Aig_ManSeqCleanup()
182 Vec_PtrForEachEntryStart( vNodes, pObj, i, nTruePos ) in Aig_ManSeqCleanup()
183 Vec_IntWriteEntry( p->vFlopNums, i - nTruePos, (int)(long)pObj->pNext ); in Aig_ManSeqCleanup()
184 Vec_IntShrink( p->vFlopNums, Vec_PtrSize(vNodes) - nTruePos ); in Aig_ManSeqCleanup()
211 nTruePos = Aig_ManPoNum(p) - Aig_ManRegNum(p); in Aig_ManSeqCleanup()
216 assert( Vec_PtrSize(vCos) == nTruePos + p->nRegs ); in Aig_ManSeqCleanup()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigScl.c | 162 int i, nTruePis, nTruePos; in Aig_ManSeqCleanup() local
192 int nTruePos = Aig_ManCoNum(p)-Aig_ManRegNum(p); in Aig_ManSeqCleanup() local
195 if ( i >= nTruePos && Aig_ObjIsTravIdCurrent(p, pObj) ) in Aig_ManSeqCleanup()
197 iNum = Vec_IntEntry( p->vFlopNums, i - nTruePos ); in Aig_ManSeqCleanup()
200 assert( k == Vec_PtrSize(vNodes) - nTruePos ); in Aig_ManSeqCleanup()
225 nTruePos = Aig_ManCoNum(p) - Aig_ManRegNum(p); in Aig_ManSeqCleanup()
230 assert( Vec_PtrSize(vCos) == nTruePos + p->nRegs ); in Aig_ManSeqCleanup()
239 p->nTruePos = Aig_ManCoNum(p) - Aig_ManRegNum(p); in Aig_ManSeqCleanup()
|
| H A D | aigMan.c | 364 p->nTruePos = Aig_ManCoNum(p) - Aig_ManRegNum(p); in Aig_ManCoCleanup()
442 p->nTruePos = Aig_ManCoNum(p) - nRegs; in Aig_ManSetRegNum()
|
| H A D | aigDup.c | 1122 pNew->nTruePos = 1; in Aig_ManDupOrpos()
1171 pNew->nTruePos = 1; in Aig_ManDupOneOutput()
1226 pNew->nTruePos = nOuts; in Aig_ManDupUnsolvedOutputs()
|
| H A D | aig.h | 107 int nTruePos; // the number of true primary outputs member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwk.h | 83 int nTruePos; // the number of true primary outputs member
152 …wk_Obj_t * p ) { return p->pMan->nTruePos && Nwk_ObjIsCo(p) && (int)p->PioId >= p->pMan… in Nwk_ObjIsLi()
208 Vec_PtrForEachEntryStop( Nwk_Obj_t *, p->vCos, pObj, i, (p)->nTruePos )
212 …; (i < (p)->nLatches) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vCos, i+(p)->nTruePos)), 1); i++ )
214 for ( i = 0; (i < (p)->nLatches) && (((pObjLi) = Nwk_ManCo(p, i+(p)->nTruePos)), 1) \
|
| H A D | nwkFlow.c | 451 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
532 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
|
| H A D | nwkFlow_depth.c | 472 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
557 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigRetMin.c | 294 pNew->nTruePos = p->nTruePos; in Saig_ManRetimeDupForward()
353 pNew->nTruePos = p->nTruePos; in Saig_ManRetimeDupBackward()
507 assert( nTruePo == p->nTruePos ); in Saig_ManHideBadRegs()
534 p->nTruePos += nBadRegs; in Saig_ManHideBadRegs()
553 p->nTruePos -= nBadRegs; in Saig_ManExposeBadRegs()
|
| H A D | saig.h | 74 static inline int Saig_ManPoNum( Aig_Man_t * p ) { return p->nTruePos;… in Saig_ManPoNum()
76 static inline int Saig_ManCoNum( Aig_Man_t * p ) { return p->nTruePos … in Saig_ManCoNum()
|
| H A D | saigMiter.c | 729 pTemp->nTruePos = k - Saig_ManRegNum(pTemp); in Saig_ManDemiterDual()
746 pTemp->nTruePos = k - Saig_ManRegNum(pTemp); in Saig_ManDemiterDual()
|
| H A D | saigPhase.c | 814 pFrames->nTruePos = Aig_ManCoNum(pFrames) - Aig_ManRegNum(pFrames); in Saig_ManPerformAbstraction()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intDup.c | 90 pNew->nTruePos = Saig_ManConstrNum(p); in Inter_ManStartDuplicated()
145 pNew->nTruePos = fAddFirstPo + Saig_ManConstrNum(p); in Inter_ManStartOneOutput()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraSec.c | 147 pNew->nTruePos = Aig_ManCoNum(pNew) - Aig_ManRegNum(pNew); in Fra_FraigSec()
306 pNew->nTruePos = Aig_ManCoNum(pNew) - Aig_ManRegNum(pNew); in Fra_FraigSec()
396 pNew->nTruePos = Aig_ManCoNum(pNew) - Aig_ManRegNum(pNew); in Fra_FraigSec()
585 pNew->nTruePos = Aig_ManCoNum(pNew) - Aig_ManRegNum(pNew); in Fra_FraigSec()
|
| H A D | fraHot.c | 233 int nTruePos = Aig_ManCoNum(p->pManFraig) - Aig_ManRegNum(p->pManFraig); in Fra_OneHotCheck() local
240 pObj1 = Aig_ManCo( p->pManFraig, nTruePos + Fra_LitReg(Out1) ); in Fra_OneHotCheck()
241 pObj2 = Aig_ManCo( p->pManFraig, nTruePos + Fra_LitReg(Out2) ); in Fra_OneHotCheck()
|
| H A D | fraSim.c | 1121 int i, nFrames, nTruePis, nTruePos, iPo, iFrame; in Fra_SmlCopyCounterExample() local
1126 nTruePos = Aig_ManCoNum(pAig)-Aig_ManRegNum(pAig); in Fra_SmlCopyCounterExample()
1129 assert( nTruePos * nFrames == Aig_ManCoNum(pFrames) ); in Fra_SmlCopyCounterExample()
1136 iPo = i % nTruePos; in Fra_SmlCopyCounterExample()
1137 iFrame = i / nTruePos; in Fra_SmlCopyCounterExample()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilCex.h | 61 extern Abc_Cex_t * Abc_CexMakeTriv( int nRegs, int nTruePis, int nTruePos, int iFrameOut );
|
| H A D | utilCex.c | 85 Abc_Cex_t * Abc_CexMakeTriv( int nRegs, int nTruePis, int nTruePos, int iFrameOut ) in Abc_CexMakeTriv() argument
90 iPo = iFrameOut % nTruePos; in Abc_CexMakeTriv()
91 iFrame = iFrameOut / nTruePos; in Abc_CexMakeTriv()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | liveness_sim.c | 194 p->nTruePos = Aig_ManCoNum(p) - Aig_ManRegNum(p); in Aig_ManCoCleanupBiere()
|
| H A D | liveness.c | 240 p->nTruePos = Aig_ManCoNum(p) - Aig_ManRegNum(p); in Aig_ManCoCleanupBiere()
|