Searched refs:nCofFanLit (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmc.c | 207 …izeMax, int nConfLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, int fUseSatoko ) in Saig_ManBmcSimple() argument 209 extern Aig_Man_t * Gia_ManCofactorAig( Aig_Man_t * p, int nFrames, int nCofFanLit ); in Saig_ManBmcSimple() 220 if ( nCofFanLit ) in Saig_ManBmcSimple() 222 pFrames = Gia_ManCofactorAig( pAig, nFrames, nCofFanLit ); in Saig_ManBmcSimple()
|
H A D | bmc.h | 210 …nSizeMax, int nBTLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, int fUseSatoko …
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaAig.c | 412 Aig_Man_t * Gia_ManCofactorAig( Aig_Man_t * p, int nFrames, int nCofFanLit ) in Gia_ManCofactorAig() argument 417 pGia = Gia_ManUnrollAndCofactor( pTemp = pGia, nFrames, nCofFanLit, 1 ); in Gia_ManCofactorAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 2322 …Limit, int nBTLimitAll, int fRewrite, int fNewAlgo, int fOrDecomp, int nCofFanLit, int fVerbose, i… in Abc_NtkDarBmc() argument 2348 …mcSimple( pMan, nFrames, nSizeMax, nBTLimit, fRewrite, fVerbose, &iFrame, nCofFanLit, fUseSatoko ); in Abc_NtkDarBmc()
|
H A D | abc.c | 26112 int nCofFanLit; in Abc_CommandBmc() local 26118 …Limit, int nBTLimitAll, int fRewrite, int fNewAlgo, int fOrDecomp, int nCofFanLit, int fVerbose, i… in Abc_CommandBmc() 26127 nCofFanLit = 0; in Abc_CommandBmc() 26250 …nSizeMax, nNodeDelta, 0, nBTLimit, nBTLimitAll, fRewrite, fNewAlgo, 0, nCofFanLit, fVerbose, &iFra… in Abc_CommandBmc() 26303 …Limit, int nBTLimitAll, int fRewrite, int fNewAlgo, int fOrDecomp, int nCofFanLit, int fVerbose, i… in Abc_CommandBmc2() 33841 int nCofFanLit = 0; in Abc_CommandAbc9Frames() local 33867 nCofFanLit = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9Frames() 33869 if ( nCofFanLit < 0 ) in Abc_CommandAbc9Frames() 33908 else if ( nCofFanLit ) in Abc_CommandAbc9Frames() 33909 pTemp = Gia_ManUnrollAndCofactor( pAbc->pGia, pPars->nFrames, nCofFanLit, pPars->fVerbose ); in Abc_CommandAbc9Frames() [all …]
|