Home
last modified time | relevance | path

Searched refs:nWordsIn (Results 1 – 10 of 10) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/exor/
H A DexorCubes.c64 int AllocateCover( int nCubes, int nWordsIn, int nWordsOut );
90 int AllocateCover( int nCubes, int nWordsIn, int nWordsOut ) in AllocateCover() argument
101 OneCubeSize = sizeof(Cube) + (nWordsIn+nWordsOut)*sizeof(unsigned); in AllocateCover()
103 OneInputSetSize = nWordsIn*sizeof(unsigned); in AllocateCover()
H A Dexor.h101 int nWordsIn; // number of input words used to represent the cover member
157 extern int AllocateCover( int nCubes, int nWordsIn, int nWordsOut );
H A DexorBits.c227 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in GetDistance()
261 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in GetDistancePlus()
329 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in FindDiffVars()
H A Dexor.c739 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in AddCubesToStartingCover()
797 g_CoverInfo.nWordsIn = TotalWords; in Exorcism()
830 MemTemp = AllocateCover( g_CoverInfo.nCubesAlloc, g_CoverInfo.nWordsIn, g_CoverInfo.nWordsOut ); in Exorcism()
H A DexorLink.c406 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in ExorLinkCubeIteratorStart()
491 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in ExorLinkCubeIteratorStart()
613 for ( i = 0; i < g_CoverInfo.nWordsIn; i++ ) in ExorLinkCubeIteratorNext()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadPlaMo.c35 int nWordsIn; member
69 p->nWordsIn = Abc_Bit6WordNum( 2 * nIns ); in Mop_ManAlloc()
71 p->vWordsIn = Vec_WrdStart( 2 * p->nWordsIn * nCubes ); in Mop_ManAlloc()
311 int i, v, iCube, nVars = 32 * p->nWordsIn; in Mop_ManCollectStats()
471 if ( !Mop_ManCheckDist1(pCube1, pCube2, p->nWordsIn) ) in Mop_ManFindDist1Pairs()
495 assert( Mop_ManCheckDist1(pCube1, pCube2, p->nWordsIn) ); in Mop_ManMergeDist1Pairs()
498 iVar = Mop_ManFindDiffVar( pCube1, pCube2, p->nWordsIn ); in Mop_ManMergeDist1Pairs()
506 for ( w = 0; w < p->nWordsIn; w++ ) in Mop_ManMergeDist1Pairs()
546 if ( !Mop_ManCheckDist1(pCube1, pCube2, p->nWordsIn) ) in Mop_ManMergeDist1Pairs2()
554 for ( w = 0; w < p->nWordsIn; w++ ) in Mop_ManMergeDist1Pairs2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c2643 assert( Vec_WrdSize(vSimsIn) / nWordsIn == 64 * nWordsOut ); in Extra_BitMatrixTransposeP()
2644 assert( Vec_WrdSize(vSimsOut) / nWordsOut == 64 * nWordsIn ); in Extra_BitMatrixTransposeP()
2645 for ( y = 0; y < nWordsIn; y++ ) in Extra_BitMatrixTransposeP()
2651 pM[i][0] = Vec_WrdEntry ( vSimsIn, (64*x+i)*nWordsIn + y ); in Extra_BitMatrixTransposeP()
2659 assert( Vec_WrdSize(vSimsOut) / nWordsOut == 64 * nWordsIn ); in Extra_BitMatrixTransposePP()
2660 for ( y = 0; y < nWordsIn; y++ ) in Extra_BitMatrixTransposePP()
2673 int nWordsIn = 1; in Extra_BitMatrixTransposeTest() local
2675 int i, k, nItems = 64 * nWordsIn * nWordsOut; in Extra_BitMatrixTransposeTest()
2684 Extra_BitMatrixTransposeP( vSimsIn, nWordsIn, vSimsOut, nWordsOut ); in Extra_BitMatrixTransposeTest()
2686 nItems = Vec_WrdSize(vSimsIn) / nWordsIn; in Extra_BitMatrixTransposeTest()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresSim.c54 p->nWordsIn = p->nPats; in Res_SimAlloc()
60 p->vPats = Vec_PtrAllocSimInfo( 1024, p->nWordsIn ); in Res_SimAlloc()
90 p->vPats = Vec_PtrAllocSimInfo( Abc_NtkObjNumMax(pAig)+1, p->nWordsIn ); in Res_SimAdjust()
183 Abc_InfoRandomBytes( pInfo, p->nWordsIn ); in Res_SimSetRandomBytes()
185 Abc_InfoRandom( pInfo, p->nWordsIn ); in Res_SimSetRandomBytes()
740 Res_SimPerformRound( p, p->nWordsIn ); in Res_SimPrepare()
765 Res_SimPerformRound( p, p->nWordsIn ); in Res_SimPrepare()
H A DresInt.h79 int nWordsIn; // the number of simulation words in the input patterns member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSimBase.c740 void Gia_ManSimRelAssignInputs( Gia_Man_t * p, int nWords, Vec_Wrd_t * vSims, int nWordsIn, Vec_Wrd… in Gia_ManSimRelAssignInputs() argument
742 int i, m, Id, nMints = nWords / nWordsIn; in Gia_ManSimRelAssignInputs()
744 assert( Vec_WrdSize(vSimsIn) == nWordsIn * Gia_ManCiNum(p) ); in Gia_ManSimRelAssignInputs()
747 memcpy( Vec_WrdEntryP(vSims, Id * nWords + nWordsIn * m), in Gia_ManSimRelAssignInputs()
748 Vec_WrdEntryP(vSimsIn, i * nWordsIn), sizeof(word) * nWordsIn ); in Gia_ManSimRelAssignInputs()