| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcCollapse.c | 305 vSop = Bmc_CollapseOne( pGia, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose );
404 vSop = Abc_NtkClpOne( pNtk, iCo, nCubeLim, nBTLimit, fVerbose, fCanon, fReverse, vSupp );
437 if ( nCubeLim > 0 )
443 Cost = (word)Vec_PtrSize(vDfsNodes) * (word)Vec_IntSize(vLevel) * (word)nCubeLim;
447 Vec_PtrSize(vDfsNodes), Vec_IntSize(vLevel), nCubeLim, nCostMax );
517 pNtkNew = Abc_NtkFromSops( pNtk, nCubeLim, nBTLimit, nCostMax, fCanon, fReverse, fVerbose );
725 vSop = Bmc_CollapseOneOld( pGia, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose ); in Abc_NtkClpGiaOne()
760 …vSop = Bmc_CollapseOne_int( pSat, Vec_IntSize(vSupp), nCubeLim, nBTLimit, fCanon, fReverse, fVerbo… in Abc_NtkClpGiaOne2()
871 if ( nCubeLim > 0 && nCostMax > 0 ) in Abc_NtkFromSopsInt()
877 word Cost = (word)nNodeMax * (word)nSuppMax * (word)nCubeLim; in Abc_NtkFromSopsInt()
[all …]
|
| H A D | abc.c | 3472 int nCubeLim = 0; in Abc_CommandSatClp() local
3493 nCubeLim = atoi(argv[globalUtilOptind]); in Abc_CommandSatClp()
3495 if ( nCubeLim < 0 ) in Abc_CommandSatClp()
3553 …pNtkRes = Abc_NtkCollapseSat( pNtk, nCubeLim, nBTLimit, nCostMax, fCanon, fReverse, fCnfShared, fV… in Abc_CommandSatClp()
3557 …pNtkRes = Abc_NtkCollapseSat( pNtk, nCubeLim, nBTLimit, nCostMax, fCanon, fReverse, fCnfShared, fV… in Abc_CommandSatClp()
3572 …-2, "\t-C num : the limit on the SOP size of one output [default = %d]\n", nCubeLim ); in Abc_CommandSatClp()
44073 int nCubeLim = 1000; in Abc_CommandAbc9SatClp() local
44091 nCubeLim = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9SatClp()
44093 if ( nCubeLim < 0 ) in Abc_CommandAbc9SatClp()
44124 vSop = Bmc_CollapseOne( pAbc->pGia, nCubeLim, nBTLimit, fCanon, 0, fVerbose ); in Abc_CommandAbc9SatClp()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcClp.c | 746 if ( nCubeLim > 0 && Count == nCubeLim ) in Bmc_CollapseOneInt2()
828 vSopOn = Bmc_CollapseOneInt2( p, nCubeLim, nBTLimit, fCanon, fReverse, fVerbose, 0 ); in Bmc_CollapseOneOld2()
832 …vSopOff = Bmc_CollapseOneInt2( p, Abc_MinInt(nCubeLim, nCubesOn), nBTLimit, fCanon, fReverse, fVer… in Bmc_CollapseOneOld2()
918 for ( iCube = 0; nCubeLim == 0 || iCube < nCubeLim; iCube++ ) in Bmc_CollapseOneOld()
1009 printf( "The resulting SOP exceeded %d cubes.\n", nCubeLim ); in Bmc_CollapseOneOld()
1093 for ( iCube = 0; nCubeLim == 0 || iCube < nCubeLim; iCube++ ) in Bmc_CollapseOne_int3()
1179 printf( "The resulting SOP exceeded %d cubes.\n", nCubeLim ); in Bmc_CollapseOne_int3()
1277 for ( iCube = 0; nCubeLim == 0 || iCube < nCubeLim; iCube++ ) in Bmc_CollapseOne_int2()
1357 printf( "The resulting SOP exceeded %d cubes.\n", nCubeLim ); in Bmc_CollapseOne_int2()
1436 for ( iCube = 0; nCubeLim == 0 || iCube < nCubeLim; iCube++ ) in Bmc_CollapseOne_int()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilIsop.c | 511 int Abc_Isop( word * pFunc, int nVars, int nCubeLim, Vec_Int_t * vCover, int fTryBoth ) in Abc_Isop() argument
514 word Cost0, Cost1, Cost, CostInit = Abc_Cube2Cost(nCubeLim); in Abc_Isop()
562 int Abc_IsopCnf( word * pFunc, int nVars, int nCubeLim, int * pCover ) in Abc_IsopCnf() argument
565 word Cost0, Cost1, CostInit = Abc_Cube2Cost(nCubeLim); in Abc_IsopCnf()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abc.h | 604 extern ABC_DLL Abc_Ntk_t * Abc_NtkCollapseSat( Abc_Ntk_t * pNtk, int nCubeLim, int nBTLimit,…
|