Searched refs:nBTLimitAll (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absIter.c | 58 int nBTLimitAll = 0; in Gia_IterTryImprove() local
61 …RetValue = Saig_BmcPerform( pAig, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fV… in Gia_IterTryImprove()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEquiv.c | 2147 int nBTLimitAll = 2000000; in Gia_CommandSpecI() local
2151 …Saig_BmcPerform( pTemp, nStart, nFrames, nNodeDelta, 0, nBTLimit, nBTLimitAll, fVerbose, 0, NULL, … in Gia_CommandSpecI()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 2322 …nFrames, int nSizeMax, int nNodeDelta, int nTimeOut, int nBTLimit, int nBTLimitAll, int fRewrite, … in Abc_NtkDarBmc() argument
2373 …aig_BmcPerform( pMan, nStart, nFrames, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fVerbose, 0, p… in Abc_NtkDarBmc()
|
| H A D | abc.c | 26108 int nBTLimitAll; in Abc_CommandBmc() local
26123 nBTLimitAll = 0; in Abc_CommandBmc()
26174 nBTLimitAll = atoi(argv[globalUtilOptind]); in Abc_CommandBmc()
26176 if ( nBTLimitAll < 0 ) in Abc_CommandBmc()
26250 …pAbc->Status = Abc_NtkDarBmc( pNtk, 0, nFrames, nSizeMax, nNodeDelta, 0, nBTLimit, nBTLimitAll, fR… in Abc_CommandBmc()
26292 int nBTLimitAll; in Abc_CommandBmc2() local
26310 nBTLimitAll = 0; in Abc_CommandBmc2()
26384 nBTLimitAll = atoi(argv[globalUtilOptind]); in Abc_CommandBmc2()
26386 if ( nBTLimitAll < 0 ) in Abc_CommandBmc2()
26450 …rBmc( pNtk, nStart, nFrames, nSizeMax, nNodeDelta, nTimeOut, nBTLimit, nBTLimitAll, fRewrite, fNew… in Abc_CommandBmc2()
[all …]
|