Searched refs:nWordsFrame (Results 1 – 5 of 5) sorted by relevance
524 pSims[p->nWordsFrame*f] <<= 1; in Ssw_SmlAssignRandom()545 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlAssignRandomFrame()567 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlObjAssignConst()586 assert( iWord < p->nWordsFrame ); in Ssw_SmlObjAssignConstWord()786 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlNodesCompareInFrame()851 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlNodeTransferNext()879 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlNodeTransferFirst()1051 for ( i = 0; i < p->nWordsFrame; i++ ) in Ssw_SmlUnnormalize()1156 p->nWordsFrame = nWordsFrame; in Ssw_SmlStart()1158 p->nWordsPref = nPref * nWordsFrame; in Ssw_SmlStart()[all …]
267 extern Ssw_Sml_t * Ssw_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame );
385 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlAssignConst()504 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodeSimulate()507 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodeSimulate()562 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodesCompareInFrame()595 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodeCopyFanin()598 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodeCopyFanin()626 for ( i = 0; i < p->nWordsFrame; i++ ) in Fra_SmlNodeTransferNext()821 p->nWordsFrame = nWordsFrame; in Fra_SmlStart()823 p->nWordsPref = nPref * nWordsFrame; in Fra_SmlStart()1065 iFrame = i / p->nWordsFrame; in Fra_SmlGetCounterExample()[all …]
176 int nWordsFrame; // the number of words in each time frame member372 extern Fra_Sml_t * Fra_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame …
3577 pSml->nWordsFrame, pSml->nWordsFrame == 1 ? "": "s", in Abc_NtkDarSeqSim()