Home
last modified time | relevance | path

Searched refs:vCis (Results 1 – 25 of 55) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaExist.c216 Vec_IntPush( vCis, iObj ); in Gia_ManQuantDupConeSupp_rec()
253 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantDupConeSupp()
255 if ( pvCis ) *pvCis = vCis; in Gia_ManQuantDupConeSupp()
295 Vec_Int_t * vOuts, * vOuts2, * vCis; in Gia_ManQuantExist2() local
305 Vec_IntFree( vCis ); in Gia_ManQuantExist2()
338 Vec_IntFree( vCis ); in Gia_ManQuantExist2()
366 Vec_IntFree( vCis ); in Gia_ManQuantExist2()
425 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantExist2Dup()
446 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantExist2Dup()
458 if ( Vec_IntSize(vCis) == 0 ) in Gia_ManQuantExistInt()
[all …]
H A DgiaSupp.c42 Vec_Int_t * vCis[2]; member
71 p->vCis[0] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart()
72 p->vCis[1] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart()
85 Vec_IntFreeP( &p->vCis[0] ); in Gia_ManSuppStop()
86 Vec_IntFreeP( &p->vCis[1] ); in Gia_ManSuppStop()
229 Vec_IntPush( vCis, iObj ); in Gia_ManGatherSupp_rec()
244 Vec_IntClear( p->vCis[n] ); in Gia_ManGatherSupp()
342 Vec_Int_t * vCis[2]; member
398 Vec_IntFreeP( &p->vCis[0] ); in Gia_Man2SuppStop()
399 Vec_IntFreeP( &p->vCis[1] ); in Gia_Man2SuppStop()
[all …]
H A DgiaAgi.c48 Vec_Int_t vCis; // comb inputs member
59 …ManCiNum( Agi_Man_t * p ) { return Vec_IntSize( &p->vCis ); … in Agi_ManCiNum()
95 p->pObjs[iObj] = AGI_PI | (word)Vec_IntSize(&p->vCis); in Agi_ManAppendCi()
96 Vec_IntPush( &p->vCis, iObj ); in Agi_ManAppendCi()
115 #define Agi_ManForEachCi( p, iCi, i ) Vec_IntForEachEntry( &p->vCis, iCi, i )
152 ABC_FREE( p->vCis.pArray ); in Agi_ManFree()
H A DgiaGlitch.c58 Vec_Int_t * vCis; // the vector of CIs (PIs + LOs) member
73 static inline int Gli_ManCiNum( Gli_Man_t * p ) { return Vec_IntSize(p->vCis); … in Gli_ManCiNum()
75 static inline int Gli_ManPiNum( Gli_Man_t * p ) { return Vec_IntSize(p->vCis) - … in Gli_ManPiNum()
79 …i_ManNodeNum( Gli_Man_t * p ) { return p->nObjs - Vec_IntSize(p->vCis) - Vec_IntSize(p->v… in Gli_ManNodeNum()
82 …Ci( Gli_Man_t * p, int v ) { return Gli_ManObj( p, Vec_IntEntry(p->vCis,v) ); … in Gli_ManCi()
109 for ( i = 0; (i < Vec_IntSize(p->vCis)) && (pObj = Gli_ManObj(p,Vec_IntEntry(p->vCis,i))); i++ )
149 p->vCis = Vec_IntAlloc( 1000 ); in Gli_ManAlloc()
172 Vec_IntFree( p->vCis ); in Gli_ManStop()
293 Vec_IntPush( p->vCis, pObj->Handle ); in Gli_ManCreateCi()
H A Dgia.c33 Vec_Int_t vCis; member
85 Vec_IntGrow( &p->vCis, 100 ); in Slv_ManAlloc()
99 Vec_IntErase( &p->vCis ); in Slv_ManFree()
126 assert(!iLit1), iLit1 = Vec_IntSize(&p->vCis)+1, Vec_IntPush(&p->vCis, iObj); in Slv_ManAppendObj()
H A DgiaIso.c889 Vec_IntClear( vCis ); in Gia_ManFindCaninicalOrder()
900 Vec_IntPush( vCis, Gia_ObjId(p, pObj) ); in Gia_ManFindCaninicalOrder()
933 Vec_IntPush( vCis, Gia_ObjId(p, pObj) ); in Gia_ManFindCaninicalOrder()
941 Gia_ManForEachObjVec( vCis, p, pObj, i ) in Gia_ManFindCaninicalOrder()
961 Vec_Int_t * vCis, * vAnds, * vCos; in Gia_ManIsoCanonicize() local
974 vCis = Vec_IntAlloc( Gia_ManCiNum(p) ); in Gia_ManIsoCanonicize()
977 Gia_ManFindCaninicalOrder( p, vCis, vAnds, vCos, NULL ); in Gia_ManIsoCanonicize()
981 Vec_IntFree( vCis ); in Gia_ManIsoCanonicize()
1002 Vec_Int_t * vCis, * vAnds, * vCos; in Gia_ManIsoFindString() local
1022 vCis = Vec_IntAlloc( Gia_ManCiNum(pPart) ); in Gia_ManIsoFindString()
[all …]
H A DgiaForce.c59 Vec_Int_t * vCis; // the vector of CIs (PIs + LOs) member
71 static inline int Frc_ManCiNum( Frc_Man_t * p ) { return Vec_IntSize(p->vCis)… in Frc_ManCiNum()
73 static inline int Frc_ManPiNum( Frc_Man_t * p ) { return Vec_IntSize(p->vCis)… in Frc_ManPiNum()
76 …anNodeNum( Frc_Man_t * p ) { return p->nObjs - Vec_IntSize(p->vCis) - Vec_IntSize(p->v… in Frc_ManNodeNum()
79 … Frc_Man_t * p, int i ) { return Frc_ManObj( p, Vec_IntEntry(p->vCis,i) ); … in Frc_ManCi()
104 for ( i = 0; (i < Vec_IntSize(p->vCis)) && (pObj = Frc_ManObj(p,Vec_IntEntry(p->vCis,i))); i++ )
162 p->vCis = Vec_IntAlloc( Gia_ManCiNum(pGia) ); in Frc_ManStartSimple()
181 Vec_IntPush( p->vCis, hHandle ); in Frc_ManStartSimple()
445 p->vCis = Vec_IntAlloc( Gia_ManCiNum(pGia) ); in Frc_ManStart()
464 Vec_IntPush( p->vCis, hHandle ); in Frc_ManStart()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDetect.c499 Vec_IntPush( vCis, Abc_ObjId(pObj) ); in Abc_NtkFinMiterCollect_rec()
505 Abc_NtkFinMiterCollect_rec( pFanin, vCis, vNodes ); in Abc_NtkFinMiterCollect_rec()
512 Vec_IntClear( vCis ); in Abc_NtkFinMiterCollect()
516 Abc_NtkFinMiterCollect_rec( Abc_ObjFanin0(pObj), vCis, vNodes ); in Abc_NtkFinMiterCollect()
741 Abc_NtkForEachObjVec( vCis, pNtk, pObj, i ) in Abc_NtkFinMiterToGia()
793 assert( Vec_IntSize(vPat) == Vec_IntSize(vCis) ); in Abc_NtkFinSimulateOne()
794 Abc_NtkForEachObjVec( vCis, pNtk, pObj, i ) in Abc_NtkFinSimulateOne()
925 vPat = Vec_IntAlloc( Vec_IntSize(vCis) ); in Abc_NtkFinCheckPair()
926 for ( i = 0; i < Vec_IntSize(vCis); i++ ) in Abc_NtkFinCheckPair()
985 vPat = Vec_IntAlloc( Vec_IntSize(vCis) ); in Abc_NtkFinRefinement()
[all …]
H A DabcOrder.c116 Vec_PtrWriteEntry( pNtk->vCis, Vec_PtrSize(vSupp)-1-i, pObj ); in Abc_NtkChangeCiOrder()
119 Vec_PtrWriteEntry( pNtk->vCis, i, pObj ); in Abc_NtkChangeCiOrder()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/
H A DretArea.c413 Vec_Ptr_t * vCis, * vCos, * vBoxes, * vBoxesNew, * vNodes, * vBuffers; in Abc_NtkRetimeMinAreaUpdateLatches() local
417 Vec_PtrShrink( pNtk->vCis, Abc_NtkCiNum(pNtk) - Abc_NtkLatchNum(pNtk) ); in Abc_NtkRetimeMinAreaUpdateLatches()
419 vCis = pNtk->vCis; pNtk->vCis = NULL; in Abc_NtkRetimeMinAreaUpdateLatches()
512 Vec_PtrPush( vCis, pLatchOut ); in Abc_NtkRetimeMinAreaUpdateLatches()
541 pNtk->vCis = vCis; in Abc_NtkRetimeMinAreaUpdateLatches()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigMan.c59 p->vCis = Vec_PtrAlloc( 100 ); in Aig_ManStart()
203 Vec_PtrFreeP( &p->vCis ); in Aig_ManStop()
318 Vec_PtrForEachEntry( Aig_Obj_t *, p->vCis, pObj, i ) in Aig_ManCiCleanup()
321 Vec_PtrWriteEntry( p->vCis, k++, pObj ); in Aig_ManCiCleanup()
323 Vec_PtrWriteEntry( p->vCis, k++, pObj ); in Aig_ManCiCleanup()
327 Vec_PtrShrink( p->vCis, k ); in Aig_ManCiCleanup()
328 p->nObjs[AIG_OBJ_CI] = Vec_PtrSize( p->vCis ); in Aig_ManCiCleanup()
H A DaigScl.c160 Vec_Ptr_t * vNodes, * vCis, * vCos; in Aig_ManSeqCleanup() local
204 vCis = Vec_PtrAlloc( Aig_ManCiNum(p) ); in Aig_ManSeqCleanup()
207 Vec_PtrPush( vCis, pObj ); in Aig_ManSeqCleanup()
229 assert( Vec_PtrSize(vCis) == nTruePis + p->nRegs ); in Aig_ManSeqCleanup()
231 Vec_PtrFree( p->vCis ); p->vCis = vCis; in Aig_ManSeqCleanup()
233 p->nObjs[AIG_OBJ_CI] = Vec_PtrSize( p->vCis ); in Aig_ManSeqCleanup()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigScl.c145 Vec_Ptr_t * vNodes, * vCis, * vCos; in Aig_ManSeqCleanup() local
190 vCis = Vec_PtrAlloc( Aig_ManPiNum(p) ); in Aig_ManSeqCleanup()
193 Vec_PtrPush( vCis, pObj ); in Aig_ManSeqCleanup()
215 assert( Vec_PtrSize(vCis) == nTruePis + p->nRegs ); in Aig_ManSeqCleanup()
217 Vec_PtrFree( p->vPis ); p->vPis = vCis; in Aig_ManSeqCleanup()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A Dnwk.h67 Vec_Ptr_t * vCis; // the primary inputs of the extracted part member
131 …k_ManCi( Nwk_Man_t * p, int i ) { return (Nwk_Obj_t *)Vec_PtrEntry( p->vCis, i ); } in Nwk_ManCi()
180 Vec_PtrForEachEntry( Nwk_Obj_t *, p->vCis, pObj, i )
184 Vec_PtrForEachEntry( Nwk_Obj_t *, p->vCis, pObj, i ) \
206 Vec_PtrForEachEntryStop( Nwk_Obj_t *, p->vCis, pObj, i, (p)->nTruePis )
210 …for ( i = 0; (i < (p)->nLatches) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vCis, i+(p)->nTruePis)…
H A DnwkMan.c50 p->vCis = Vec_PtrAlloc( 1000 ); in Nwk_ManAlloc()
76 if ( p->vCis ) Vec_PtrFree( p->vCis ); in Nwk_ManFree()
H A DnwkObj.c74 pObj->PioId = Vec_PtrSize( p->vCis ); in Nwk_ManCreateCi()
75 Vec_PtrPush( p->vCis, pObj ); in Nwk_ManCreateCi()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmMig.h68 Vec_Int_t vCis; // CI IDs member
104 static inline int Mig_ManCiNum( Mig_Man_t * p ) { return Vec_IntSize(&p->vCis); … in Mig_ManCiNum()
106 static inline int Mig_ManPiNum( Mig_Man_t * p ) { return Vec_IntSize(&p->vCis) - p->… in Mig_ManPiNum()
110 … Mig_ManNodeNum( Mig_Man_t * p ) { return p->nObjs - Vec_IntSize(&p->vCis) - Vec_IntSize(&p->… in Mig_ManNodeNum()
117 …_ManCi( Mig_Man_t * p, int v ) { return Mig_ManObj( p, Vec_IntEntry(&p->vCis,v) ); … in Mig_ManCi()
241 Mig_ObjSetCioId( pObj, Vec_IntSize(&p->vCis) ); in Mig_ManAppendCi()
242 Vec_IntPush( &p->vCis, Mig_ObjId(pObj) ); in Mig_ManAppendCi()
328 for ( i = 0; (i < Vec_IntSize(&p->vCis)) && ((pObj) = Mig_ManCi(p, i)); i++ )
H A DmpmMig.c51 Vec_IntGrow( &p->vCis, 1024 ); in Mig_ManStart()
73 ABC_FREE( p->vCis.pArray ); in Mig_ManStop()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A Dsaig.h79 …_Man_t * p, int i ) { return (Aig_Obj_t *)Vec_PtrEntry(p->vCis, Saig_ManPiNum(p)+i… in Saig_ManLo()
87 …j ) { assert(Saig_ObjIsLi(p, pObj)); return (Aig_Obj_t *)Vec_PtrEntry(p->vCis, Saig_ManPiNum(p)+A… in Saig_ObjLiToLo()
92 Vec_PtrForEachEntryStop( Aig_Obj_t *, p->vCis, pObj, i, Saig_ManPiNum(p) )
97 …for ( i = 0; (i < Saig_ManRegNum(p)) && (((pObj) = (Aig_Obj_t *)Vec_PtrEntry(p->vCis, i+Saig_ManPi…
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/
H A DsclTime.h46 Vec_Int_t * vCis; // comb inputs member
118 static inline SC_Time * Scl_ManAlloc( SC_Lib * pLib, Vec_Int_t * vCis, Vec_Int_t * vCos, int nObjs ) in Scl_ManAlloc() argument
123 p->vCis = vCis; in Scl_ManAlloc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsSat.c159 for ( i = 0; i < Vec_PtrSize(p->pAigWin->vCis); i++ ) in Abc_NtkAddOneHotness()
160 for ( k = i+1; k < Vec_PtrSize(p->pAigWin->vCis); k++ ) in Abc_NtkAddOneHotness()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcNtk.c65 pNtk->vCis = Vec_PtrAlloc( 100 ); in Abc_NtkAlloc()
1336 Vec_PtrFree( pNtk->vCis ); in Abc_NtkDelete()
1774 Vec_PtrWriteEntry( pNtk->vCis, k++, pObj ); in Abc_NtkTrim()
1777 Vec_PtrShrink( pNtk->vCis, k ); in Abc_NtkTrim()
1996 Vec_PtrWriteEntry( pNtk->vCis, i, Vec_PtrEntry(pNtk->vCis, k) ); in Abc_NtkPermute()
1997 Vec_PtrWriteEntry( pNtk->vCis, k, pTemp ); in Abc_NtkPermute()
2035 …Vec_PtrWriteEntry( pNtk->vCis, Abc_NtkPiNum(pNtk)+i, Vec_PtrEntry(pNtk->vCis, Abc_NtkPiNum(pNtk)+k… in Abc_NtkPermute()
2096 Vec_PtrClear( pNtk->vCis ); in Abc_NtkPermutePiUsingFanout()
2098 Vec_PtrPush( pNtk->vCis, pNode ); in Abc_NtkPermutePiUsingFanout()
2149 Vec_PtrFreeP( &pNtk->vCis ); in Abc_NtkUnpermute()
[all …]
H A DabcObj.c130 Vec_PtrPush( pNtk->vCis, pObj ); in Abc_NtkCreateObj()
141 if ( pNtk->vCis ) Vec_PtrPush( pNtk->vCis, pObj ); in Abc_NtkCreateObj()
204 Vec_PtrRemove( pNtk->vCis, pObj ); in Abc_NtkDeleteObj()
214 if ( pNtk->vCis ) Vec_PtrRemove( pNtk->vCis, pObj ); in Abc_NtkDeleteObj()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnObj.c119 …IsCi(p, iObj) ) Wln_ObjSetFanin( p, iObj, 1, Vec_IntSize(&p->vCis) ), Vec_IntPush( &p->vCis, iObj … in Wln_ObjAlloc()
H A DwlnNtk.c50 Vec_IntGrow( &p->vCis, 111 ); in Wln_NtkAlloc()
79 ABC_FREE( p->vCis.pArray ); in Wln_NtkFree()
104 Mem += 4 * p->vCis.nCap; in Wln_NtkMemUsage()

123