Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigSimSeq.c47 Vec_Int_t * vCis2Ids; // mapping of CIs into their PI ids member
127 Vec_IntPush( p->vCis2Ids, Aig_ObjCioId(pObj) ); in Raig_ManCreate_rec()
165 p->vCis2Ids = Vec_IntAlloc( Aig_ManCiNum(pAig) ); in Raig_ManCreate()
175 assert( Vec_IntSize(p->vCis2Ids) == Aig_ManCiNum(pAig) ); in Raig_ManCreate()
205 Vec_IntFree( p->vCis2Ids ); in Raig_ManDelete()
309 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Raig_ManSimulateRound()
335 iPioNum = Vec_IntEntry( p->vCis2Ids, nCis ); in Raig_ManSimulateRound()
416 …nerateCounter( Aig_Man_t * pAig, int iFrame, int iOut, int nWords, int iPat, Vec_Int_t * vCis2Ids ) in Raig_ManGenerateCounter() argument
431 iPioId = Vec_IntEntry( vCis2Ids, i ); in Raig_ManGenerateCounter()
489 pAig->pSeqModel = Raig_ManGenerateCounter( pAig, i, iOut, nWords, iPat, p->vCis2Ids ); in Raig_ManSimulate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fsim/
H A DfsimMan.c78 Vec_IntPush( p->vCis2Ids, Aig_ObjPioNum(pObj) ); in Fsim_ManCreate_rec()
120 p->vCis2Ids = Vec_IntAlloc( Aig_ManPiNum(pAig) ); in Fsim_ManCreate()
136 assert( Vec_IntSize(p->vCis2Ids) == Aig_ManPiNum(pAig) ); in Fsim_ManCreate()
171 Vec_IntFree( p->vCis2Ids ); in Fsim_ManDelete()
H A DfsimSim.c216 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Fsim_ManSimInfoInit()
239 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Fsim_ManSimInfoTransfer()
433 …nerateCounter( Aig_Man_t * pAig, int iFrame, int iOut, int nWords, int iPat, Vec_Int_t * vCis2Ids ) in Fsim_ManGenerateCounter() argument
448 iPioId = Vec_IntEntry( vCis2Ids, i ); in Fsim_ManGenerateCounter()
532 … pAig->pSeqModel = Fsim_ManGenerateCounter( pAig, i, iOut, p->nWords, iPat, p->vCis2Ids ); in Fsim_ManSimulate()
H A DfsimInt.h71 Vec_Int_t * vCis2Ids; // mapping of CIs into their PI ids member
H A DfsimTsim.c134 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Fsim_ManTerSimInfoInit()
157 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Fsim_ManTerSimInfoTransfer()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSim.c192 Vec_IntFreeP( &p->vCis2Ids ); in Gia_ManSimDelete()
234 p->vCis2Ids = Vec_IntAlloc( Gia_ManCiNum(p->pAig) ); in Gia_ManSimCreate()
236 Vec_IntPush( p->vCis2Ids, i ); // do we need p->vCis2Ids? in Gia_ManSimCreate()
433 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Gia_ManSimInfoInit()
456 Vec_IntForEachEntry( p->vCis2Ids, iPioNum, i ) in Gia_ManSimInfoTransfer()
543 …nerateCounter( Gia_Man_t * pAig, int iFrame, int iOut, int nWords, int iPat, Vec_Int_t * vCis2Ids ) in Gia_ManGenerateCounter() argument
557 iPioId = Vec_IntEntry( vCis2Ids, i ); in Gia_ManGenerateCounter()
624 pAig->pCexSeq = Gia_ManGenerateCounter( pAig, i, iOut, p->nWords, iPat, p->vCis2Ids ); in Gia_ManSimSimulate()
H A Dgia.h304 Vec_Int_t * vCis2Ids; member