36     int              nWordsFrame;       // the number of words in each timeframe  member
522     assert( p->nWordsFrame * p->nFrames == p->nWordsTotal );  in Ssw_SmlAssignRandom()
524         pSims[p->nWordsFrame*f] <<= 1;  in Ssw_SmlAssignRandom()
544     pSims = Ssw_ObjSim( p, pObj->Id ) + p->nWordsFrame * iFrame;  in Ssw_SmlAssignRandomFrame()
545     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlAssignRandomFrame()
566     pSims = Ssw_ObjSim( p, pObj->Id ) + p->nWordsFrame * iFrame;  in Ssw_SmlObjAssignConst()
567     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlObjAssignConst()
586     assert( iWord < p->nWordsFrame );  in Ssw_SmlObjAssignConstWord()
588     pSims = Ssw_ObjSim( p, pObj->Id ) + p->nWordsFrame * iFrame;  in Ssw_SmlObjAssignConstWord()
608     pSims = Ssw_ObjSim( p, pObj->Id ) + p->nWordsFrame * iFrame;  in Ssw_SmlObjSetWord()
656             Limit = Abc_MinInt( nTruePis, p->nWordsFrame * 32 - 1 );  in Ssw_SmlAssignDist1()
658 … Abc_InfoXorBit( Ssw_ObjSim( p, Aig_ManCi(p->pAig, i)->Id ) + p->nWordsFrame*(p->nFrames-1), i+1 );  in Ssw_SmlAssignDist1()
685     Limit = Abc_MinInt( Saig_ManPiNum(p->pAig), p->nWordsFrame * 32 - 1 );  in Ssw_SmlAssignDist1Plus()
713     assert( iFrame == 0 || p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodeSimulate()
715     pSims  = Ssw_ObjSim(p, pObj->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeSimulate()
716     pSims0 = Ssw_ObjSim(p, Aig_ObjFanin0(pObj)->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeSimulate()
717     pSims1 = Ssw_ObjSim(p, Aig_ObjFanin1(pObj)->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeSimulate()
726             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
729             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
735             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
738             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
744             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
747             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
753             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
756             for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeSimulate()
780     assert( iFrame0 == 0 || p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodesCompareInFrame()
781     assert( iFrame1 == 0 || p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodesCompareInFrame()
783     pSims0  = Ssw_ObjSim(p, pObj0->Id) + p->nWordsFrame * iFrame0;  in Ssw_SmlNodesCompareInFrame()
784     pSims1  = Ssw_ObjSim(p, pObj1->Id) + p->nWordsFrame * iFrame1;  in Ssw_SmlNodesCompareInFrame()
786     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodesCompareInFrame()
810     assert( iFrame == 0 || p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodeCopyFanin()
812     pSims  = Ssw_ObjSim(p, pObj->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeCopyFanin()
813     pSims0 = Ssw_ObjSim(p, Aig_ObjFanin0(pObj)->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeCopyFanin()
819         for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeCopyFanin()
822         for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeCopyFanin()
846     assert( iFrame == 0 || p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodeTransferNext()
848     pSims0 = Ssw_ObjSim(p, pOut->Id) + p->nWordsFrame * iFrame;  in Ssw_SmlNodeTransferNext()
849     pSims1 = Ssw_ObjSim(p, pIn->Id) + p->nWordsFrame * (iFrame+1);  in Ssw_SmlNodeTransferNext()
851     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeTransferNext()
874     assert( p->nWordsFrame < p->nWordsTotal );  in Ssw_SmlNodeTransferFirst()
876     pSims0 = Ssw_ObjSim(p, pOut->Id) + p->nWordsFrame * (p->nFrames-1);  in Ssw_SmlNodeTransferFirst()
879     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlNodeTransferFirst()
935     assert( Vec_IntSize(vInit) == nRegs * p->nWordsFrame );  in Ssw_SmlInitializeSpecial()
1051     for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlUnnormalize()
1059         for ( i = 0; i < p->nWordsFrame; i++ )  in Ssw_SmlUnnormalize()
1148 Ssw_Sml_t * Ssw_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame )  in Ssw_SmlStart()  argument
1151 … sizeof(Ssw_Sml_t) + sizeof(unsigned) * Aig_ManObjNumMax(pAig) * (nPref + nFrames) * nWordsFrame );  in Ssw_SmlStart()
1152     memset( p, 0, sizeof(Ssw_Sml_t) + sizeof(unsigned) * (nPref + nFrames) * nWordsFrame );  in Ssw_SmlStart()
1156     p->nWordsFrame = nWordsFrame;  in Ssw_SmlStart()
1157     p->nWordsTotal = (nPref + nFrames) * nWordsFrame;  in Ssw_SmlStart()
1158     p->nWordsPref  = nPref * nWordsFrame;  in Ssw_SmlStart()
1360                 iFrame = i / p->nWordsFrame;  in Ssw_SmlGetCounterExample()
1361                 iBit = 32 * (i % p->nWordsFrame) + Aig_WordFindFirstBit( pSims[i] );  in Ssw_SmlGetCounterExample()
1368     assert( iBit < 32 * p->nWordsFrame );  in Ssw_SmlGetCounterExample()
1387             if ( Abc_InfoHasBit( pSims, 32 * p->nWordsFrame * i + iBit ) )  in Ssw_SmlGetCounterExample()