/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/exor/ |
H A D | exorCubes.c | 64 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 D | exor.h | 101 int nWordsIn; // number of input words used to represent the cover member 157 extern int AllocateCover( int nCubes, int nWordsIn, int nWordsOut );
|
H A D | exorBits.c | 227 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 D | exor.c | 739 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 D | exorLink.c | 406 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 D | ioReadPlaMo.c | 35 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 D | extraUtilMisc.c | 2643 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 D | resSim.c | 54 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 D | resInt.h | 79 int nWordsIn; // the number of simulation words in the input patterns member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSimBase.c | 740 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()
|