Home
last modified time | relevance | path

Searched refs:nCofFanLit (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmc.c207 …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 Dbmc.h210 …nSizeMax, int nBTLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit, int fUseSatoko …
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaAig.c412 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 DabcDar.c2322 …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 Dabc.c26112 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 …]